[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
37: デフォルトの名無しさん [sage] 2019/02/03(日) 21:37:12.79 ID:PKgH5/Eo バカ過ぎて泣けてくる… http://mevius.5ch.net/test/read.cgi/tech/1548720347/37
69: デフォルトの名無しさん [sage] 2019/02/03(日) 22:08:36.79 ID:DVkCUlxV >>66 だとすると文法自体理解していない あるいは関数自体 もっと、詳しく書くと >どのみちfact 0が1となるならまたfact(1-1)でfact(0)でしょ 定義を見てごらん fact 0 = 1 でこれは、=の右にfactが無いからこれで再帰はしないで、ここで終了 fact n = n * fact n-1 で=の右にfactがあるから再帰する http://mevius.5ch.net/test/read.cgi/tech/1548720347/69
156: デフォルトの名無しさん [] 2019/02/17(日) 01:13:02.79 ID:KFkN1Yft >>155 おや？ >>151を書き込んだのはどなたですか？ｗ 何か都合の悪いことでもあったのですか？ｗ 大慌てで>>151を張りに来たようですが？ｗ http://mevius.5ch.net/test/read.cgi/tech/1548720347/156
197: デフォルトの名無しさん [sage] 2019/02/23(土) 19:26:38.79 ID:hS0A7KKk >>196 そこクロージャの説明のとこでしょ？ 読み飛ばしていいと思うよ 手元にHaskellの入門書何冊かあるけど目次や索引にクロージャ無いし 純粋関数型言語でありデフォルトで関数がカリー化されているHaskellに クロージャとかいう概念は別に要らないと思う 部分適用便利だねってことがわかればおk http://mevius.5ch.net/test/read.cgi/tech/1548720347/197
267: デフォルトの名無しさん [sage] 2019/03/23(土) 16:34:59.79 ID:3o0No0Hu 可読性をあげるためだけに型に別名つけるのってどうなの type Description = Text みたいなやつ http://mevius.5ch.net/test/read.cgi/tech/1548720347/267
354: デフォルトの名無しさん [sage] 2019/05/13(月) 23:41:36.79 ID:kVO0yWqO >>350 ラムダ式が動的に生成されるものと思っているのなら間違い この場合は単なる関数として展開されている http://mevius.5ch.net/test/read.cgi/tech/1548720347/354
423: デフォルトの名無しさん [sage] 2019/08/17(土) 18:36:58.79 ID:He41kTu9 ？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/423
538: デフォルトの名無しさん [sage] 2019/10/13(日) 08:24:39.79 ID:joWtBDzr 競プロでもあるまいしアルゴリズムを非直観的なものに変形させる必要がどこにある？ そんなに漸化式が好きなら iterate (\xs -> [last xs+1,last xs+2..last xs+n]) でもやってろ http://mevius.5ch.net/test/read.cgi/tech/1548720347/538
623: デフォルトの名無しさん [sage] 2019/10/24(木) 02:41:27.79 ID:/X6zPP1d >>622訂正と補足 まず1に関する説明中の次の箇所を訂正します。つい筆が滑ってKleisliをKreiselと書いてしまった。 誤> 更にHaskellなどで喧しいモナドやKreisel圏についても解説している。（関数プログラミング言語へのモナドの応用は 正> 更にHaskellなどで喧しいモナドやKleisli圏についても解説している。（関数プログラミング言語へのモナドの応用は それから、 > なお、現在は書籍としては品切れになっていたと思うが、著者のHPから電子的に無料で入手可能になっていたはずなのでネットで探して下さい。 と書いたが、無料の電子版は著者の一人であるLongoの次のURLよりPDFファイルの形で配布されている。 https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf http://mevius.5ch.net/test/read.cgi/tech/1548720347/623
734: デフォルトの名無しさん [sage] 2019/11/07(木) 09:47:06.79 ID:8Vzx7lLq 現行の半導体プロセッサはスイッチングで起きる0と1状態を基本にして組みあがっている関係で 他の技術(量子関係？)が発達しない限り関数的内部表現うんぬんはLISPが誕生した時点で完了してます テキストベースの文字列を実行可能なコンピュータプログラムに変換する行為は 文字、テキストベースである限りLIPSの構文糖衣と見なせます http://mevius.5ch.net/test/read.cgi/tech/1548720347/734
742: デフォルトの名無しさん [sage] 2019/11/07(木) 15:20:12.79 ID:B1e2KIDS >>741 でもまさに内容を知らなくても扱える構造だぜ？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/742
825: デフォルトの名無しさん [sage] 2019/12/02(月) 19:39:36.79 ID:6AEGHd3a メールボックスがオーバーフローしない証明しながらコーディングするんすか？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/825
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.525s*