科學網

網站認證
2017年1月20日 14:08

Haskell Brook Curry——美國數學家和邏輯學家,一位在數理邏輯和計算機科學歷史上里程碑式的存在,他的姓名從頭到尾全部成為計算機語言的名稱:Haskell,當下流行的函數式編程語言;Brook,是斯坦福大學開發的流處理編程語言,面向圖形處理和并行計算,其設計依據ANSI C標準;Curry是一種新型的語言——混合了函數式和邏輯式兩種範式的編程語言。雖然,其名聲不如阿蘭·圖靈那麼響亮,其影響不如庫爾特·哥德爾那麼廣泛,但是在真實的歷史中,Curry對的人類的貢獻完全可以和前者比肩。如果說圖靈機是現代計算機程序設計語言的基本模型,那麼可計算函數就是和圖靈機等價的另一種模型。【賽義甫 :http://t.cn/RMkWrQw】