型推論って、いったい何を目指してるの？
コンパイラは推論できても、人間にとって読みやすいものと思えないんだけど
関数型プログラミング言語Haskell Part31©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
897デフォルトの名無しさん
2018/12/23(日) 00:50:21.75ID:2lSG181k■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 中国「国連安保理の許可なしに日本攻撃可能」 Xで旧敵国条項に言及… ★7 [BFU★]
- 中国「国連安保理の許可なしに日本攻撃可能」 Xで旧敵国条項に言及… ★8 [BFU★]
- 【千葉】コンビニに尿入りペットボトル並べた疑い、２６歳男「むしゃくしゃして」…購入した客が飲もうとしたところ臭いに違和感 [ぐれ★]
- 高市首相が異例の“買春行為の罰則化の検討”に言及…世界では“買う側”に罰則を科すのが先進国のスタンダード ★2 [樽悶★]
- 【サッカー】U-17W杯 日本代表、無念のベスト8敗退… チャンスは多く作ったが仕留め切れず オーストリアに0－1で敗戦 [冬月記者★]
- 中国官製報道「日本経済はもう持たない」にネット民ツッコミ「ニュースだけ見てたら日本はもう百回くらい爆発してる」 [１ゲットロボ★]
- 現役JKのお茶会スレ( ¨̮ )︎︎𖠚ᐝ158
- (*´ω｀*)明日の映画なんだけど人数分チケット取っといて！( ･᷄ὢ･᷅ )わかった！みんなで映画行くの楽しみ！
- 貧乏人特有の「俺っち金はネェけどヨ‥‥金持ちがなくしちまった人として大切なアツいモンを持ってンぜ！」って感覚ｗｗｗ
- 【ガチ正論】一般人「中国に規制制裁されて、『中国ムカつく』じゃなくて矛先が『許さんぞ高市』になってる奴、頭おかしいの？」 ★２ [153490809]
- 思考盗聴されてる
- シコシコして寝ます