5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

関数型プログラミング言語Haskell Part22

797 :デフォルトの名無しさん:2013/07/14(日) NY:AN:NY.AN
>>796
その実用的じゃないから統合する必要すらなかった関数型言語群を、わざわざ統合したいという欲求の源は何だったのか?
私は、論文に書くそのままの表現でプログラミングしたいという欲求だと思う

具体的には、論文の中の、帰納的証明で使われる表記と概念の数学的表現とDSLの仕様で使われる表現そのままをソースコードに書きたいという欲求

225 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)