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