関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
4: 2021/12/17(金)12:58:57.67 ID:NPioGyUL(4/4) AAS
関連サイト
(英語)
Haskell - Wikibooks, open books for an open world (ページ内に内容をまとめたPDFあり)
外部ﾘﾝｸ:en.wikibooks.org
Learn You a Haskell for Great Good! (『すごいHaskellたのしく学ぼう!』の無料オンライン版)
外部ﾘﾝｸ:learnyouahaskell.com
Real World Haskell (同名書籍の無料オンライン版)
外部ﾘﾝｸ:book.realworldhaskell.org
(以下、日本語)
Haskell入門 5ステップ - HaskellWiki (公式サイト内、日本語入門セクション)
外部ﾘﾝｸ:wiki.haskell.org
Haskell - Wikibooks (上記Wikibooksの同タイトル日本語版。多くの項目が未編集)
外部ﾘﾝｸ:ja.wikibooks.org
A Gentle Introduction to Haskell, Version 98
外部ﾘﾝｸ:www.sampou.org
Haskell のお勉強
外部ﾘﾝｸ:www.shido.info
お気楽 Haskell プログラミング入門
外部ﾘﾝｸ[html]:www.nct9.ne.jp
本物のプログラマはHaskellを使う
外部ﾘﾝｸ:itpro.nikkeibp.co.jp
［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！
外部ﾘﾝｸ:gihyo.jp
22: 2021/12/23(木)23:57:52.67 ID:MjSWMWRR(1) AAS
ハリウッド映画でよくある、酒場でのウィットに富んだ大人の会話の一種では？
0時を過ぎると、酒瓶を割って拳で語り合う・・・いまその状態では？
夜が明けると、互いを理解し絆が深まる。
そして生涯の友となるのでは？
151(1): 2022/11/06(日)14:53:18.67 ID:p6fV7yyc(1/2) AAS
Haskellで開発している会社ってどこがあるの？
検索するとHERPやTuruCapitalしか出てこない…
397(1): 2024/10/01(火)22:05:17.67 ID:4kH314XL(2/3) AAS
圏論全体だと…当たり前のことを構造として研究してるだけなので、圏論というよりはHaskellの型クラスとの合わせ技で関手（Functor）の方がfmap的なのを他の言語にも導入すれば役に立つかも
圏論の関手を一言で言えば（関数も含めた）型変換
（Hakellだと入れ物前提にすることで、関数ごと型変換を実現。本来はもっと柔軟）
自然変換は一言で言えば単位変換とか、大文字小文字の変換
405: 2024/10/02(水)07:55:35.67 ID:AFS53MaU(3/6) AAS
んで、プログラマーはいちいち集合を合わせないで、エラー処理だったり循環リスト作ったりで対応するわけだぬ。
435(1): 2024/10/02(水)23:36:01.67 ID:JUMm5MLB(2/2) AAS
プログラムの仕様とその証明を数学で記述する本にあるだろうね。
574: 2024/10/29(火)16:00:48.67 ID:FJXFYfo2(1) AAS
>>567
MLとは全然ちゃうがな
HM型推論せんやろ
655: 01/22(水)01:14:29.67 ID:SDQT/604(1) AAS
3万も出してよもうとは思わない。
目次読むとKleisli tripleの節はあるのにKleisli categoryの節がなかったり、なぜかその後にMoggi's theoryが出てきたりと
少なくとも構成があんまりいい感じはしない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s