1001コメント358KB

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

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

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

2009/09/24(木) 23:30:38

Agdaって今世界でもっとも難しい言語の１つだよね？
極めれば即仙人になれる難しさだよね？

俺写像定義するだけで投げたレベルだからあれだけど

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