蓋文·雷斯
 |
||
|
蓋文·雷斯 |
|
我於 1999 年從〈[薩塞克斯大學]〉（英國）數學系的教授職位退休。我曾在 1985 年擔任新成立的電腦科學系的系主任。
我想薩塞克斯是英國第一個在 70 年代後期使用微電腦教授數學的地方。我自己的第一台微電腦是威騰愛康（Acorn Atom）（內建 12K 使用者 RAM 記憶體！）。我對函式程式語言產生興趣，並對函式程式語言與範疇論中概念之間的融合感到驚奇。我是〈[PSSL]〉（巡迴層與邏輯研討會）的創始成員之一，該組織培訓了一整代的電腦科學家——它源自於 Dana Scott 在牛津大學舉辦的研討會。
如同〈ReubenThomas〉，我總是著迷於小巧且精緻的程式語言與虛擬機器。我長期在尋找某個可以改進〈[RISC OS]〉中內建 BBC BASIC 的事物。Lua 替我實現了願望。我設計〈[RiscLua]〉，作為將 Lua 移植到 Risc OS 的方式，並只進行必要的最低限度延伸，以賦予其與 BBC BASIC 相同的作業系統存取功能性。
-- 〈[蓋文·雷斯]〉
