The Glorious Glasgow Haskell Compiler.
commentary · Wiki · Glasgow Haskell Compiler / GHC · GitLab
The Glorious Glasgow Haskell Compiler.
ML多相ã®ç¶šã - sumiiã®ãƒ–ãƒã‚°
ã•ã¦ã€Wrightã®è«–æ–‡ã®å½“時ã¯ã€value restrictionã¯å¦¥å½“ãªåˆ¶é™ã ã£ãŸã€‚ãªãœãªã‚‰ã°ã€value restrictionã®ã›ã„ã§åž‹ä»˜ã‘ã§ããªããªã‚‹ä¸»ãªã‚±ãƒ¼ã‚¹ã¯ã€å¤šç›¸é–¢æ•°ã®éƒ¨åˆ†é©ç”¨ãŒã¾ãŸå¤šç›¸é–¢æ•°ã«ãªã‚‹ï¼ˆã¯ãšã®ï¼‰å ´åˆãらã„ã§ã€ãã‚Œã¯let x = eã®eã‚’fun y -> e yã®ã‚ˆã†ã«æ›¸ãæ›ãˆã‚‹ã“ã¨ï¼ˆÎ·å±•é–‹ï¼‰ã§å›žé¿ã§ããŸã‹ã‚‰ã§ã‚る。 ã¨ã“ã‚ãŒã€SML#ã®ã‚ˆã†ãªå¤šç›¸ãƒ¬ã‚³ãƒ¼ãƒ‰ã€OCamlã®ã‚ˆã†ãªå¤šç›¸ã‚ªãƒ–ジェクトãªã„ã—多相ãƒãƒªã‚¢ãƒ³ãƒˆã‚’利用ã™ã‚‹ã¨ã€value restrictionãŒæœ¬å½“ã«å•é¡Œã«ãªã£ã¦ãる。ãŸã¨ãˆã° # let f x = `V x ;; val f : 'a -> [> `V of 'a ] = <fun> # let v = f 1 ;;ãªã©ã§ã€vãŒpolymorphicã«ãªã‚‰ãªã„ã¨ã—ãŸã‚‰ã€ã€Œï¼ˆå®Ÿè³ªçš„ã«ï¼‰å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã‚’è¿”ã™é–¢æ•°ã¯æ›¸ã‘ãªã„ã€ã“ã¨ã«ï¼ˆäº‹å®Ÿä¸Šï¼‰ãªã£ã¦ã—ã¾
ML多相 - sumiiã®ãƒ–ãƒã‚°
ã¨ã„ã†ã‚ã‘ã§å¤§ä½“ã®è§£èª¬ã€‚ MLã®å¤šç›¸åž‹æŽ¨è«–ã¯ã€let x = eã®ã‚ˆã†ãªå®£è¨€ãŒã‚ã£ãŸã‚‰ã€eã®åž‹ã‚’推論ã—ã¦ã€ã€Œæ±ºã¾ã‚‰ãªã‹ã£ãŸã€éƒ¨åˆ†ã¯ã€Œä½•ã§ã‚‚よã„ã€ã¨è§£é‡ˆã—ã€å…·ä½“化ã•ã‚Œãªã‹ã£ãŸåž‹å¤‰æ•°ã«ã¤ã„ã¦âˆ€ã‚’å…ˆé ã‚’è¿½åŠ ã™ã‚‹ã€‚ãŸã¨ãˆã°ã€ let id = fun y -> yã ã£ãŸã‚‰ã€fun y -> yã®åž‹ãŒÎ±â†’αã®ã‚ˆã†ã«æŽ¨è«–ã•ã‚Œã‚‹ã®ã§ã€idã®åž‹ã¯âˆ€Î±.α→αã«ãªã‚‹ã€‚ãŸã ã—ã€OCamlã‚„SML/NJã§ã¯ã€âˆ€Î±.ã¯çœç•¥ã•ã‚Œã€è¡¨ç¤ºã•ã‚Œãªã„。 ã¨ã“ã‚ãŒã€ç ´å£Šçš„代入やcall-with-current-continuationãªã©ã€Œå‰¯ä½œç”¨ã€ã®ã‚る言語ã§ã¯ã€ä¸Šè¿°ã®åž‹æŽ¨è«–ã¯ä¸å¥å…¨ã«ãªã‚‹ã€‚ãŸã¨ãˆã° let polyref = ref []ã«ãŠã„ã¦polyrefã®åž‹ãŒâˆ€Î±.α list refã¨æŽ¨è«–ã•ã‚Œã¦ã—ã¾ã£ãŸã‚‰ã€ polyref := [true]㨠123 + List.hd !polyrefãŒä¸¡æ–¹ã¨ã‚‚型付ã‘ã§ãã¦ã—
47NEWS（よんãªãªãƒ‹ãƒ¥ãƒ¼ã‚¹ï¼‰
苦ã—ã‚“ã§ããŸå°±è·æ°·æ²³æœŸä¸–代を支ãˆãŸã„　ã²ãã“ã‚‚ã‚Šã€è¦ªã®é«˜é½¢åŒ–ã€å¿ƒèº«ä¸èª¿ã®40ï¼50代…官民連æºã§æ”¯æ´å……実
ランã‚ング
ãŠçŸ¥ã‚‰ã›
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Amazon.co.jp: プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®åŸºç¤Žç†è«– (æƒ…å ±æ•°å¦è¬›åº§): å¤§å €æ·³: 本
{{#tags}}- {{label}}
{{/tags}}