Concurrent Clean: 一æ„性ã¨æŠ½è±¡åž‹ã¨å…±å¤‰å変 - lethevert is a programmer
ã„ã‚ã„ã‚実験ã—ã¦ã€è¨€èªžãƒªãƒ•ã‚¡ãƒ¬ãƒ³ã‚¹ã‚’èªã‚“ã çµæžœã€ä¸€æ„性ã«ã¤ã„ã¦ç†è§£ãŒæ·±ã¾ã‚Šã¾ã—ãŸã€‚ ã¨ã‚Šã‚ãˆãšã€é–¢æ•°åž‹ã¨ä¸€æ„性ã®é–“ã«ã¯ã€é€šå¸¸ã®åž‹ã®ã‚ˆã†ã«å…±å¤‰å変ã®é–¢ä¿‚ãŒã‚ã‚Šã¾ã™ã€‚ ::R a b :== .(a -> b) createR :: *Char -> *(R Int *Char) createR c = (\i = c) f :: u:(R Int *Char) -> u:(R *Int Char) f r = r Start = f (createR 'a') ã¨ã„ã†ãƒ—ãƒã‚°ãƒ©ãƒ ã¯æœ‰åŠ¹ãªãƒ—ãƒã‚°ãƒ©ãƒ ã§ã™ã€‚関数fã®ã¨ã“ã‚ã§ã€å…±å¤‰å変ã®é–¢ä¿‚ãŒè¦‹ã¦å–ã‚Œã¾ã™ã€‚ ã“ã®çµæžœã€æŠ½è±¡åž‹ã®å ´åˆã«ã¯ã€å…±å¤‰å変ã®åˆ¤æ–を付ã‘ã‚‹ã“ã¨ãŒã§ããªã„ã®ã§ã€ ::R f :: *R -> R f r = r Start = f (createR 1 2 3) ã¨ã„ã†ãƒ—ãƒã‚°ãƒ©ãƒ ã¯ã€åž‹ã‚¨ãƒ©ãƒ¼ã«ãªã‚Šã¾ã™ã€‚
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://www.discenda.org/Clean/
{{#tags}}- {{label}}
{{/tags}}