[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
22: 2020/02/13(木)16:46:02.30 ID:7PHqZJTi(2/2) AAS
>>21
俺はコマンドラインユーティリティを Haskell で作るのイイナって思ってる。
型の恩恵でヘルプとか書き漏らさないし、単純な計算なら自動でコマンド化できるっぽい。
Haskell 製のゲームは何故かとても少ない。こちらとか
外部ﾘﾝｸ:store.steampowered.com
beatmaniaのような音ゲーを120行で実装するって触れ込みのチュートリアル
外部ﾘﾝｸ[html]:fumieval.github.io
101(1): 2020/03/27(金)22:59:10.30 ID:adWh10vX(3/3) AAS
>>100
うん。だからあなたは純粋関数型なんて実用性が大きく劣るものなんか使わず
あなたの好きな手続き型の言語で実用的なプログラム書いてればいいじゃん。
その言語のスレにいってその言語の好きなところとか新しく出てきたすごい機能とかの
話題で盛り上がったほうがよほど生産的ではなくて？
わざわざこんなスレにツバかける来る暇があったらさあ。
108: 2020/03/28(土)12:38:06.30 ID:6h+JM2Gw(3/9) AAS
>>104
IOアクションの命令書のメタファーは登場した当初から変わってないでしょう
>>102
指令書のメタファーは初学者にとって助けにならない？
そうかな、わかりやすいと思ったけど
RealWorld の State 、って説明はこっちはこっちで腑に落ちたし
>>92
の解説は、自分はなんか違和感を持ったが… うまく反論できない
403(3): 2020/08/21(金)11:35:07.30 ID:VIa1N6p8(2/3) AAS
あともう一つ質問があります。
「すごいHaskellたのしく学ぼう！」に「関数合成は右結合なので、一度にたくさんの関数を合成できます。f (g (z x))は(f . g. z) xと等価です。」
と書いてありますが、左結合だったとしても、同様に一度にたくさんの関数を合成できるはずです。
左結合だったとしてもf (g (z x))は(f . g. z) xと等価であることに変わりはないはずです。
これは一体何が言いたいのでしょうか？
432: 2020/08/23(日)16:16:46.30 ID:41ZiKAKU(3/3) AAS
>>424
ありがとうございました。検索してみようと思います。
>>425
ちょっと何を言っているのか分かりませんでした。
733: 2021/02/14(日)21:27:29.30 ID:A1oxlP1a(1) AAS
731はワードサラダなレスうぜぇなぁくらいの意味しかなくワードサラダなレスが存在してしまう理由を実際に疑問に思っているわけではないという簡単なことが何故わからないのか
767: 2021/03/19(金)00:48:13.30 ID:H+hZ3f68(1) AAS
カリーハワード対応って要は
True => True = True
True => False = False
False => True = True
False => False = True
が
{単集合->単集合}=単集合 (単集合から単集合への写像は一通りだけ)
{単集合->空集合}=空集合 (単集合から空集合への写像は存在しない)
{空集合->単集合}=単集合 (空集合から任意の集合への写像は一通り(空写像))
{空集合->空集合}=単集合 (上に同じ)
と対応してるって感じと捉えれば良いのかな？
wikipedia読んでもあんまり理解できない
831: 2021/05/22(土)21:35:55.30 ID:aaz7cUPO(1) AAS
サンクが溜まってって最後に遅延してそれらを評価したのでは
というかパフォーマンスの話は変に予測立てたり先入観あったりするとろくなことないからもっと詳細にプロファイリングしたほうが
995: 2021/12/17(金)13:01:29.30 ID:NPioGyUL(1) AAS
新スレを立てました。当スレ(Part33)が埋まってからの利用をお願いします。
関数型プログラミング言語Haskell Part34
2chｽﾚ:tech
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s