[B! é–¢æ•°åž‹] mzpã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

mzp id:mzp

é–¢æ•°åž‹ã«é–¢ã™ã‚‹mzpã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (8)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

The Implementation of Functional Programming Language - Life Goes On
ä¼šç¤¾ã«è½ã¡ã¦ãŸã®ã§ã€æœ‰é›£ãé ‚æˆ´ã„ãŸã—ã¾ã—ãŸã€‚ ãƒ©ãƒ ãƒ€è¨ˆç®—ã¨ã‹ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒã¨ã‹å¤šç›¸åž‹ãƒã‚§ãƒƒã‚¯ã¨ã‹ SK ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã¨ã‹é…å»¶è©•ä¾¡ã¨ã‹ã€ã©ã£ã‹ã§è¦‹ãŸã‚ˆã†ãªè©±é¡ŒãŒä¸¦ã‚“ã§ã‚‹ãªã¨æ€ã£ãŸã‚‰ã€ä½œè€…ã® Simon Peyton Jones ã£ã¦ Haskell ç•Œã®å¤§å¾¡æ‰€ã§ã—ãŸã€‚ ã†ã‚ãã€ã‚‚ãã‚Šã ã€‚â†’è‡ªåˆ† Web ã§ã‚‚èªã‚ã‚‹ã¿ãŸã„ã€‚ ä¸€æ˜¨æ—¥ã®ã‚¨ãƒ³ãƒˆãƒªã¯ã€ã¤ã¾ã‚‹ã¨ã“ã‚ S ã‚’ä½¿ã‚ãšã« B ã‚’æ§‹æˆã§ããªã„ã‹ã¨ã„ã†ã“ã¨ãªã®ã§ã™ãŒã€ã“ã“ã‚’è¦‹ãŸã‚‰ J ã¨ã‹ã§ã§ãã‚‹ã‚‰ã—ã„ã§ã™ã€‚ ãŸã J ã‚’ Haskell ã® é–¢æ•°ã§æ§‹æˆã™ã‚‹ã¨ãªã‚‹ã¨ã€çµå±€ S ã‚’ä½¿ã‚ãªã„ã¨é›£ã—ãã†ã€‚ ã“ã†ã„ã†å¤‰æ…‹çš„ãªã®ã‚‚ã‚ã‚‹ã‘ã©ã€ã¡ã‚‡ã£ã¨é•·ã™ãŽã‚‹ã—ãªãã€‚ ï¼ˆã¤ã„ã§ã«ã“ã‚“ãªã®ã‚‚è¦‹ã¤ã‘ãŸã€‚ã¾ã ã¾ã é“ã¯é•·ãã†ï½—ï½—ï½—ï¼‰
mzp 2008/10/15
*ãƒ—ãƒã‚°ãƒ©ãƒ å‚è€ƒ

é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
ãƒ›ãƒ¯ãƒƒãƒˆãƒ»ã‚¢ãƒ»ãƒ¯ãƒ³ãƒ€ãƒ•ãƒ«ãƒ»ãƒ¯ãƒ¼ãƒ«ãƒ‰ æ•°å¦å±‹ã•ã‚“ã®æ‚ªã„ç™–ã
å‰å¤§ã«ãªã‚Šã™ãŽã‚‹ã¨ã‚·ã‚§ã‚¢ã‚’å¤±ã„ã¾ã™ã‚ˆï¼Œé–£ä¸‹ (ç¬‘) ã‚¤ãƒãƒ ãƒªãƒã‚ºãƒŸæ—¥è¨˜ 2007-06-22 æ¢…é›¨ã§ã‚‚æ´—æ¿¯ _ Arrowã®ã“ã¨ Open Source Conference 2007 Hokkaido ã®è³‡æ–™ä½œã‚Šçµ‚ãˆãŸã€‚ã‚»ãƒŸãƒŠãƒ¼ã®ã»ã†ã¯ã‹ãªã‚Šåˆå¿ƒè€…å‘ããªè¬›æ¼”ã«ãªã‚‹ã¨æ€ã†ã€‚ã‘ã©â€¦ ã‚ã‚ã¯ã•ã‚“ã¿ãŸã„ãªäººã°ã‹ã‚Šæ¥ãŸã‚‰ã©ã†ã—ã‚ˆã†ã¨æ€ã£ãŸã®ã§ Arrow ã®å¾©ç¿’ã‚‚ã—ã¦ãŠã„ãŸã€‚å°ã•ãªéƒ¨å±‹ã‚‰ã—ã„ã‹ã‚‰ã€ã€ŒArrowã¨ã„ã†ã‚‚ã®ãŒä¸–ã®ä¸ã«ã¯ã”ã–ã„ã¾ã—ã¦ã€Kleisli åœã‚„ã‚‰ Premonoidal åœãŒã©ã†ã®ã“ã†ã®â€¦ã€ã¨ã‹è¨€ã£ã¦ãŠã‘ã°ã‚ˆã‹ã‚ã†ã¨è€ƒãˆãŸã€‚ã“ã‚Œã§ã‚‚ç”˜ã„ã¨è¨€ã‚ã‚ŒãŸã‚‰ Functional Reactive Programming ã¨ã‹ã§ã™ã‹ï¼ˆã ã‚“ã ã‚“å‰å¤§ãªã‚‹ Shelarcy ã•ã‚“ã«è¿‘ã¥ãä¾‹ï¼‰ã€‚ ã„ã‚„ãƒ¼ï¼Œåƒ•ã¯ãã£ã¡æ–¹é¢ã¯å…¨ç„¶ã‚ã‹ã‚Šã¾ã›ã‚“ã‚ˆï¼Žã©ã‚“ã ã‘è²·ã„è¢«ã‚‰ã‚Œã¦ã„ã‚‹ã®ã ã‚ã† (è‹¦ç¬‘) ãŸã¶ã‚“å®Ÿéš›ã«
mzp 2007/12/11
"ocaml-nagoya ã¨ã„ã†å›£ä½“ãŒã‚ã‚‹ã‚‰ã—ã„"

*é¢ç™½ã„

é–¢æ•°åž‹

OCaml
ãƒªãƒ³ã‚¯
ç¾Žå®¹å¤–ç§‘æ±‚äººã¯å€çŽ‡ãŒé«˜ã‹ã£ãŸã§ã™
mzp 2007/08/22
*ãƒ—ãƒã‚°ãƒ©ãƒ å‚è€ƒ

é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
å¤§é˜ªäººã«é–¢ã™ã‚‹ã†ã‚ã• - ã«ã‚ã¨ã‚Šå°å±‹ã§ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
ä¸–ã®ä¸ã«ã¯å¤§é˜ªäººã«é–¢ã™ã‚‹é–“é•ã£ãŸèªè˜ãŒã‚ãµã‚Œã¦ã„ã‚‹ã‚ˆã†ã«æ€ã†ã€‚ ä¾‹ãˆã°ã€å¤§é˜ªäººã¯ç¸¦ç¸žã®ãƒ¦ãƒ‹ãƒ•ã‚©ãƒ¼ãƒ ã‚’ç€ã¦ã„ã‚‹ã€ã¨ã‹å«ã•ã‚“ãŒå¼·ãã¦ã‚«ã‚«ã‚¢å¤©ä¸‹ã§ã‚ã‚‹ã€ã¨ã‹ã§ã‚ã‚‹ã€‚ ä»Šå›žã¯ãã®ã‚ˆã†ãªé–“é•ã£ãŸä¿—èª¬ã‚’æ‰•æ‹ã™ã‚‹ã¹ãCoqã§è¨¼æ˜Žã—ã¦ã¿ãŸã€‚ Coq < Section ãªã«ã‚. ã¾ãšã€æ¬¡ã®ã‚ˆã†ãªæ–‡ã‚’å®šã‚ã¦ã€ï¼–ã¤ã®å™‚ã‚’ä»®å®šã™ã‚‹ã€‚ãŸã ã— ~ï¼ˆã«ã‚‡ã‚ï¼‰ ã¯å¦å®šã‚’è¡¨ã™è¨˜å·ã§ã‚ã‚‹ã€‚ Coq < Variable å¤§é˜ªäººã§ã‚ã‚‹ : Prop. Coq < Variable ãŸã“ç„¼ãã‚’é£Ÿã¹ãŸã“ã¨ãŒã‚ã‚‹ : Prop. Coq < Variable å¸¸ã«ç¸¦ç¸žã®æœã‚’ç€ã‚‹ : Prop. Coq < Variable å«ã•ã‚“ã®å°»ã«æ•·ã‹ã‚Œã¦ã‚‹ : Prop. Coq < Variable é˜ªç¥žã®è©¦åˆã«ã¯æ¬ ã‹ã•ãšè¡Œã : Prop. å¤§é˜ªäººã§ã‚ã‚‹ is assumed ãŸã“ç„¼ãã‚’é£Ÿã¹ãŸã“ã¨ãŒã‚ã‚‹ is assumed å¸¸ã«ç¸¦ç¸žã®
mzp 2007/07/24
*ãƒã‚¿

é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
â– - soutaroãƒ–ãƒã‚°
ç¾åœ¨ã€ç§ãŸã¡ã«ã¨ã£ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã„ã†ã®ã¯ã€Œå¤‰æ•°ã«å€¤ã‚’ä»£å…¥ã—ã¦æ›´æ–°ã—ã¦ã„ãã€ãƒ¢ãƒ‡ãƒ«ãŒå¸¸ã«é ã®ä¸ã«ã‚ã‚‹ã‚ˆã†ã«æ€ã†ã€‚ã“ã‚Œã¯ã€ç‰©ç†çš„ãªè¨ˆç®—æ©ŸãŒãã†ã„ã†é¢¨ã«ã§ãã¦ã„ã‚‹ä»¥ä¸Šã€ã—ã‹ãŸãŒç„¡ã„ã“ã¨ã‹ã‚‚ã—ã‚Œãªã„ãŒã€ä¸€ç•ªæœ€åˆã«å¦ã¶ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å½±éŸ¿ãŒå¼·ã„ã‚ˆã†ã«ã‚‚æ€ãˆã‚‹ã€‚Cã¨ã‹Rubyã¨ã‹ã€ç§ã ã¨VB6ã¨ã‹ã€ãã€‚è¨ˆç®—æ©Ÿã¨ã„ã†ã‚‚ã®ã‚’ã€ã‚‚ã®ã™ã”ãåŽŸå§‹çš„ãªæ„Ÿè¦šã§ã¯ã€ãƒ†ãƒ¼ãƒ—ãŒã‚ã£ã¦ãã®ãƒ†ãƒ¼ãƒ—ã®å†…å®¹ã‚’æ›´æ–°ã—ã¦ã„ãã“ã¨ã§è¨ˆç®—ã‚’è¡Œã†ã€ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°ãƒžã‚·ãƒ³ã ã¨æ€ã£ã¦ã„ã‚‹ã‚ã‘ã€‚ ã—ã‹ã—ã€ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°ãƒžã‚·ãƒ³ã¨ç‰ä¾¡ãªè¨ˆç®—ãƒ¢ãƒ‡ãƒ«ã¨ã„ã†ã®ã¯ã€ã„ãã¤ã‹ã‚ã‚‹ã€‚ãƒ©ãƒ ãƒ€è¨ˆç®—ã¨ã‹ã€å¸°ç´é–¢æ•°ã¨ã‹ã€‚ãã“ã§æ°—ã«ãªã‚‹ã®ã¯ã€ã‚‚ã—ã‚‚è¨ˆç®—æ©Ÿã®æ„Ÿè¦šçš„ãªç†è§£ãŒãƒ©ãƒ ãƒ€è¨ˆç®—ãªäººãŒã„ãŸã‚‰ã€ãã®äººã«ã¯ã©ã†ã„ã†é¢¨ã«ä¸–ç•ŒãŒè¦‹ãˆã‚‹ã®ã ã‚ã†ã€ã¨ã„ã†ã“ã¨ã€‚ãã®äººãŒã€å°†æ¥ä»£å…¥ã‚„é…åˆ—ã‚’çŸ¥ã£ãŸã¨ãã€ã©ã†æ€ã†ã®ã‹ã€ã¨ã„ã†ã“ã¨ã€‚ ã‚ã‚‹ç¨‹åº¦è³¢ãã¦ã€ã‚ã‚‹ç¨‹åº¦è¾¼ã¿å…¥ã£ãŸæ¦‚å¿µã‚’ç†è§£ã§ãã‚‹ç¨‹åº¦
mzp 2007/07/23
*é¢ç™½ã„

é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
è©¦ã—ã¦ã¿ã‚ˆã† - The Joel on Software Translation Project
Joel Spolsky / é’æœ¨é– è¨³ 2005å¹´12æœˆ29æ—¥ æœ¨æ›œ ç§ãŒãƒšãƒ³ã‚·ãƒ«ãƒ™ãƒ‹ã‚¢å¤§ã§å¤§å¦æœ€åˆã®å¹´ã‚’è¿Žãˆã‚‹é ƒã«ã¯ã€è‡ªåˆ†ã¯éžå¸¸ã«å„ªã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒžã ã¨æ€ã£ã¦ã„ãŸã€‚ã™ã¹ã¦ç‹¬å¦ã§å¦ã³ã€Turbo Pascalã§å¤§ããªã‚·ã‚¹ãƒ†ãƒ ã‚’2ã¤ä½œã£ã¦ã„ãŸï½¥ï½¥ï½¥1ã¤ã¯å°ã•ãªå·¥å ´ã®ãŸã‚ã®å®Œå…¨ãªåœ¨åº«ã‚·ã‚¹ãƒ†ãƒ ã§ã€ã‚‚ã†1ã¤ã¯ã‚¤ã‚¹ãƒ©ã‚¨ãƒ«æœ€å¤§ã®ãƒ‘ãƒ³å·¥å ´ã§ç”Ÿç”£ãƒ©ã‚¤ãƒ³ã®ã‚¹ã‚±ã‚¸ãƒ¥ãƒ¼ãƒªãƒ³ã‚°ã«ä½¿ã‚ã‚Œã¦ã„ãŸã€‚ ä¸é–“è©¦é¨“ã®æ™‚ã«ãªã£ã¦ã€ç§ã¯è‡ªåˆ†ã§æ€ã£ã¦ã„ã‚‹ã»ã©é ãŒè‰¯ããªã„ã“ã¨ã«æ°—ä»˜ã„ãŸã€‚ç§ã¯ã„ãã¤ã‹ã®å•é¡ŒãŒå…¨ç„¶ã§ããªã‹ã£ãŸã€‚ç§ã¯ã¾ã ãƒã‚¤ãƒ³ã‚¿ã‚’ç†è§£ã—ã¦ãŠã‚‰ãšã€å†å¸°ã‚‚ç†è§£ã—ã¦ã„ãªã‹ã£ãŸãŸã‚ã ã€‚ æ ¹ã«æŒã¤ã®ã¯ã‚„ã‚ã¦ã€ãã®ä¸é–“è©¦é¨“å•é¡Œã‚’ãŠæ•™ãˆã™ã‚‹ã“ã¨ã«ã—ã‚ˆã†ï½¥ï½¥ï½¥å¤§å¦ä¸€å¹´ã®ã¨ãã®ç§ã‚ˆã‚Šã†ã¾ãã‚„ã‚Œã‚‹ã‹è©¦ã—ã¦ã¿ã‚‹ã¨ã„ã„ã€‚ 1a. (MIT-Scheme) æ¬¡ã®é–¢æ•° (define (accumulate combiner null-value
mzp 2007/03/12
*å‚è€ƒ

é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
Parsec, é«˜é€Ÿãªã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ãƒ‘ãƒ¼ã‚µ
æœ¬æ–‡æ›¸ã¯æ¬¡ã«æŽ²ã’ã‚‹ URL ã§ç¤ºã•ã‚Œã‚‹æ–‡æ›¸ã®éƒ¨åˆ†çš„ãªé‚¦è¨³ã§ã™ã€‚ http://www.cs.uu.nl/people/daan/download/parsec/parsec.html Parsec, é«˜é€Ÿãªã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ãƒ‘ãƒ¼ã‚µ Daan Leijen University of Utrecht Dept. of Computer Science PO.Box 80.089, 3508 TB Utrecht The Netherlands [email protected], http://www.cs.uu.nl/~daan Parsec, é«˜é€Ÿãªã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ãƒ‘ãƒ¼ã‚µ Daan Leijen University of Utrecht Dept. of Computer Science PO.Box 80.089, 3508 TB Utrecht The Netherlands daan@
mzp 2006/07/16
*ãƒ—ãƒã‚°ãƒ©ãƒ

Haskell

é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
Types and Programming Languages
mzp 2006/05/26
åž‹ç†è«–

*ãƒ—ãƒã‚°ãƒ©ãƒ å‚è€ƒ

é–¢æ•°åž‹

æœ¬
ãƒªãƒ³ã‚¯
1