トップページ⇒tech

981コメント365KB

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

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

0675デフォルトの名無しさん

2014/12/15(月) 21:36:53.00ID:/4FvCJJ7

>>674
圏論じゃなければダメというわけではないが、何を計算できないかを証明するには必要
特に自動プログラミングや、他言語からのトランスレータの設計で必要

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