[B! SML] notaeã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

notae id:notae

SMLã«é–¢ã™ã‚‹notaeã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

${{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}}

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžSML#è§£èª¬
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžSML#è§£èª¬ Pt.IÂ æ¦‚è¦ Pt.IIÂ ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« Pt.IIIÂ å‚ç…§ãƒžãƒ‹ãƒ¥ã‚¢ãƒ« Pt.IVÂ ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ„ãƒ¼ãƒ« Pt.VÂ SML#ã®å†…éƒ¨æ§‹é€ Pt.VIÂ å‚è€ƒæ–‡çŒ®ï¼Œãã®ä»– Ch.1Â ã¯ã˜ã‚ã« Ch.2Â æœ¬æ›¸ã®ä½¿ã„æ–¹ Ch.3Â SML#ä½¿ç”¨ä¸Šã®æ³¨æ„ Ch.4Â SML#ã®æ¦‚è¦ Ch.5Â SML#ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ç’°å¢ƒã®æº–å‚™ Ch.6Â MLãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€ Ch.7Â SML#ã®æ‹¡å¼µæ©Ÿèƒ½ï¼šãƒ¬ã‚³ãƒ¼ãƒ‰å¤šç›¸æ€§ Ch.8Â SML#ã®æ‹¡å¼µæ©Ÿèƒ½ï¼šãã®ä»–ã®åž‹ã®æ‹¡å¼µ Ch.9Â SML#ã®æ‹¡å¼µæ©Ÿèƒ½ï¼šCã¨ã®ç›´æŽ¥é€£æº Ch.10Â SML#ã®æ‹¡å¼µæ©Ÿèƒ½ï¼šSQLã®ã‚·ãƒ¼ãƒ ãƒ¬ã‚¹ãªçµ±åˆ Ch.11Â SML#åˆ†å‰²ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«ã‚·ã‚¹ãƒ†ãƒ References Ch.1Â ã¯ã˜ã‚ã« ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžSML#è§£èª¬ å¤§å €Â Â æ·³Â Â Â Â ä¸Šé‡Ž é›„å¤§ æ±åŒ—å¤§å¦ é›»æ°—é€šä¿¡ç ”ç©¶æ‰€ FireFoxãªã©ã®MathMLã‚’è¡¨ç¤ºå¯èƒ½ãªãƒ–ãƒ©
notae 2014/11/02
SML

#Tutorial

FunctionalProgramming

TypeSystem
ãƒªãƒ³ã‚¯
SMLã®ç©ºãƒ¬ã‚³ãƒ¼ãƒ‰åž‹ã¨unitåž‹æ³¨é‡ˆã‚’ä»˜ã‘ãŸæ™‚ã®å‡¦ç†ç³»æ¯Žã®æŒ¯ã‚‹èˆžã„ - ::Eldesh a b = LEFT a | RIGHT b
åº SML#ã§ä½¿ç”¨å‡ºæ¥ã‚‹å¤šç›¸ãƒ¬ã‚³ãƒ¼ãƒ‰ã¯ã€SMLã®ãƒ¬ã‚³ãƒ¼ãƒ‰é–“ã®ã‚µãƒ–ã‚¿ã‚¤ãƒ—é–¢ä¿‚ã‚’æŽ¨è«–ã™ã‚‹ã¨è€ƒãˆã‚‹ã¨è‰¯ã•ãã†ã§ã™ã€‚ ä¾‹ãˆã° fn {x:int,...}=> hogehoge ã¨ã„ã†é–¢æ•°ã¯ x ã¨ã„ã† int åž‹ã®ãƒ•ã‚£ãƒ¼ãƒ«ãƒ‰ã‚’æŒã¤ä»»æ„ã®ãƒ¬ã‚³ãƒ¼ãƒ‰ã‚’å¼•æ•°ã«å–ã‚Šã¾ã™ãŒã€ã“ã‚Œã‚’ {x:int} ã®ã‚µãƒ–ã‚¿ã‚¤ãƒ—ã‚’ä½•ã§ã‚‚å—ã‘ä»˜ã‘ã‚‹ã¨è€ƒãˆã¾ã™ã€‚ ã™ã‚‹ã¨ {x:int, y:string} ã‚„ {z:'a, x:int, y:'a list} ã¯ {x:int} ã®ã‚µãƒ–ã‚¿ã‚¤ãƒ—ã¨ãªã‚Šã¾ã™ã€‚ ã“ã“ã§ä»¥ä¸‹ã®é–¢æ•° e ã‚’è€ƒãˆã¾ã™ã€‚ fun e {...} = "unit"; ({...} ã¯ã©ã‚“ãªãƒ•ã‚£ãƒ¼ãƒ«ãƒ‰ã‚‚å«ã‚“ã§ã„ã‚‹å¿…è¦ã®ç„¡ã„ãƒ¬ã‚³ãƒ¼ãƒ‰ãƒ‘ã‚¿ãƒ¼ãƒ³ã€‚) ä¸Šã®è°è«–ã‹ã‚‰è€ƒãˆã‚Œã°ã€ãƒ¬ã‚³ãƒ¼ãƒ‰ã«ä½•ã‚‚(ç‰¹å®šã®ãƒ•ã‚£ãƒ¼ãƒ«ãƒ‰ã‚’)å«ã‚“ã§ç„¡ãã¦ã‚ˆã„åž‹ã‚’å¼•æ•°ã«ã¨ã‚‹ã®ã§ã€e ã¯ã‚ã‚‰ã‚†ã‚‹ãƒ¬ã‚³ãƒ¼ãƒ‰åž‹ã‚’å—ã‘ä»˜ã‘ã‚‹ã¯ãšã§ã™ã€‚ã¤ã¾ã‚Šã‚ã‚‰ã‚†ã‚‹ãƒ¬ã‚³ãƒ¼ãƒ‰åž‹ã®ã‚¹ãƒ¼ãƒ‘ãƒ¼
notae 2014/10/16
SML

TypeSystem
ãƒªãƒ³ã‚¯
SML vs. Ocaml
Standard ML and Objective Caml, Side by Side This page gives a quick side by side comparison of program fragments in the two ML dialects Standard ML ('97 revision) and Objective Caml (version 3.12). It is primarily targetted at people who need to convert code between the two dialects. Where suitable we also mention common extensions to SML, or recent extensions of Ocaml. The comparison does not co
notae 2014/07/04
SML

OCaml
ãƒªãƒ³ã‚¯
http://www.pllab.riec.tohoku.ac.jp/smlsharp/smlIntroSlidesJP.pdf
notae 2014/07/04
SML

#Tutorial
ãƒªãƒ³ã‚¯
1

ãŠçŸ¥ã‚‰ã›

ã‚‚ã£ã¨èªã‚€

å…¬å¼Twitter

@hatebu
æœ€æ–°ã®äººæ°—ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®é…ä¿¡

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

jæ¬¡ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kå‰ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

lã‚ã¨ã§èªã‚€

eã‚³ãƒ¡ãƒ³ãƒˆä¸€è¦§ã‚’é–‹ã

oãƒšãƒ¼ã‚¸ã‚’é–‹ã

è¨å®šã‚’å¤‰æ›´ã—ã¾ã—ãŸx

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (4)

SMLã«é–¢ã™ã‚‹notaeã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

ãŠçŸ¥ã‚‰ã›

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬1é€±ï¼‰

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆç¬¬5é€±ï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (4)

SMLã«é–¢ã™ã‚‹notaeã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

ãƒ—ãƒ­ã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžSML#è§£èª¬

SMLã®ç©ºãƒ¬ã‚³ãƒ¼ãƒ‰åž‹ã¨unitåž‹æ³¨é‡ˆã‚’ä»˜ã‘ãŸæ™‚ã®å‡¦ç†ç³»æ¯Žã®æŒ¯ã‚‹èˆžã„ - ::Eldesh a b = LEFT a | RIGHT b

SML vs. Ocaml

http://www.pllab.riec.tohoku.ac.jp/smlsharp/smlIntroSlidesJP.pdf

ãŠçŸ¥ã‚‰ã›

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬1é€±ï¼‰

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆç¬¬5é€±ï¼‰

å…¬å¼Twitter

ã‚­ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (4)

SMLã«é–¢ã™ã‚‹notaeã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžSML#è§£èª¬

SMLã®ç©ºãƒ¬ã‚³ãƒ¼ãƒ‰åž‹ã¨unitåž‹æ³¨é‡ˆã‚’ä»˜ã‘ãŸæ™‚ã®å‡¦ç†ç³»æ¯Žã®æŒ¯ã‚‹èˆžã„ - ::Eldesh a b = LEFT a | RIGHT b

ãŠçŸ¥ã‚‰ã›

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬1é€±ï¼‰

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆç¬¬5é€±ï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹