- 1 名前：デフォルトの名無しさん mailto:sage [2014/07/27(日) 13:46:32.03 ID:deqguEnh]
- 関数型プログラミング言語 Haskell について語るスレです。
haskell.org (公式サイト)
www.haskell.org/
前スレ
関数型プログラミング言語Haskell Part25
peace.2ch.net/test/read.cgi/tech/1393313450/
- 18 名前：デフォルトの名無しさん mailto:sage [2014/07/31(木) 10:00:46.45 ID:tnsvQYR5]
- >>17
schemeだとできるの？動的だからいいのか
- 19 名前：デフォルトの名無しさん mailto:sage [2014/07/31(木) 10:48:12.90 ID:v4mxhrx0]
- >>18
Revised5 Scheme 7.3 で let は派生式になってます。（SchemeマニアじゃないのでR6とかは知りませんが）
わかりやすい解説は例えば SICP 1.3.2 。
（ ttps://github.com/minghai/sicp-pdf/blob/japanese/jsicp.pdf だと pp.66-67 のあたり ）
- 20 名前：デフォルトの名無しさん mailto:sage [2014/08/03(日) 21:36:58.94 ID:Tmfa1Mht]
- Haskell Platform 2014.2.0.0 はいつ正式リリースかな
- 21 名前：デフォルトの名無しさん mailto:sage [2014/08/04(月) 19:53:21.28 ID:380FSYFH]
- 諸君、暑さで議論がお留守だよ
- 22 名前：デフォルトの名無しさん mailto:sage [2014/08/05(火) 09:31:07.66 ID:xIiEYlRK]
- チラ裏メモ
Haskell のカーネル（≒言語から desugar して残るコア機能）は System FC という
System F の変種。 FC が F と違う部分は GADT なんかのための何からしい。
System F については、例えば TaPL に簡単に触れられており let ... in がλ抽象と
別立てになった機能になってる。
こっからは推測だけど（推測なんかしてる暇あったら読めよという話だが）上で触れられてる
ような事情で let ... in を lambda のシンタックスシュガーとは出来なかったのでλ抽象と
別の機能になってるのかなぁ思った。
- 23 名前：デフォルトの名無しさん mailto:sage [2014/08/06(水) 00:53:41.89 ID:9Hv8k9mx]
- 推測する間に読めるとか早すぎだろ
|
 |
