[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
39: デフォルトの名無しさん [sage] 2019/02/03(日) 21:37:39.39 ID:RwDwNYzW >>34 えーと、すまん、「どんな場合でも」再帰は１を返したら終了すると考えているのなら それは大間違いだ http://mevius.5ch.net/test/read.cgi/tech/1548720347/39
263: デフォルトの名無しさん [sage] 2019/03/23(土) 12:18:39.39 ID:CUvnstPX 言葉を話さない動物やAIには言語の制約がない ゆえに動物やAIは人間を超える可能性がある 壮大な詭弁だ http://mevius.5ch.net/test/read.cgi/tech/1548720347/263
277: デフォルトの名無しさん [sage] 2019/03/24(日) 15:26:29.39 ID:x/w14fyx >>275 Windowsでは、昔のrubyみたいな状況なので、 それ以外のプラットフォームでやるのがいいよー http://mevius.5ch.net/test/read.cgi/tech/1548720347/277
380: デフォルトの名無しさん [sage] 2019/06/02(日) 11:37:55.39 ID:mVf2k3qD Cは関数の定義はゴテゴテ書くが演算子の定義は何も書かなかった C++が演算子を定義するようになったからHaskellも影響を受けたんじゃないか 数学的証明だけでなく、歴史を巻き添えにして議論しないと現実は見えない http://mevius.5ch.net/test/read.cgi/tech/1548720347/380
395: 381 [sage] 2019/06/08(土) 17:21:52.39 ID:mlZK/xCe ありがとうございます。 既存の型を独自の型クラスの インスタンスにする事は 同モジュール内の拡張として プログラムする人が責任を持つべきなので 問題はないとの事で了解しました。 急いで質問を書いたので 型クラスを型と間違って書いてしまいすみませんでした。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/395
510: デフォルトの名無しさん [sage] 2019/10/08(火) 21:32:14.39 ID:nLwShu/0 何冊か本を読んだけど、Haskell の気持ちがなかなか分からん… http://mevius.5ch.net/test/read.cgi/tech/1548720347/510
577: デフォルトの名無しさん [sage] 2019/10/18(金) 20:44:14.39 ID:lM5JoyFV >>576 俺も一瞬それ思ったけど同名データコンストラクタもできたっけ？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/577
805: デフォルトの名無しさん [sage] 2019/11/28(木) 00:59:05.39 ID:W12oiqHO ちくしょう。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/805
865: デフォルトの名無しさん [sage] 2019/12/19(木) 14:54:58.39 あればあるだけ使おうとするんでない？ 足りなくなってからようやく（これからやる処理に必要最低限の）ガベコレ この繰り返しだから永遠に自転車操業 http://mevius.5ch.net/test/read.cgi/tech/1548720347/865
888: デフォルトの名無しさん [sage] 2019/12/23(月) 23:28:55.39 ID:fuVSP632 >>886 > クヌースなんかもそんなもんだぞ。 Knuthはそんなことはないだろ TeXもMetafontも最初のはKnuth自身が実装したのだから > プログラム理論と実装ガツガツやる能力は別物だから。 圏論なんかの知識は実装と全く関係ないからね、そういう方面に明るいのと実装能力とは全く無関係だ http://mevius.5ch.net/test/read.cgi/tech/1548720347/888
953: デフォルトの名無しさん [] 2020/01/20(月) 00:41:52.39 ID:TXkt06UM Haskellの事を知れば知る程(圏論含む)、数学ってプログラミング言語だなと思う。 コンピュータが登場する遥か以前からあるプログラミング言語。 そうなると数学者はある種のプログラマーと言える。 ただ、数学はコンピュータに計算させるのではなく、自分で計算するから再帰みたいなループ構造は面倒臭い。 そこでループ構造を排除するアルゴリズム(法則や公式)を考え出して来たと考えられる節があって…。 そう考えると、コンピュータの登場で人間の効率的なアルゴリズムを考える能力が退化したかも知れん。 とか、考えてみたり。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/953
979: デフォルトの名無しさん [sage] 2020/02/06(木) 07:32:25.39 ID:OGs/tKtL >>978 それは分かっています。 >>970 が圏論による成功例を知っているのなら教えてほしかったのです。 一件も挙げられず、ただ大規模ソフトウェアには大事だと言っているだけでしたら、 とても残念です。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/979
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s