[B! OCaml] kana321ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kana321 id:kana321

OCamlã«é–¢ã™ã‚‹kana321ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (7)

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

é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å®šç¾©ï¼†å®Ÿè£…ã®ä»•æ–¹ã®ä¾‹ - Qiita
å‰ç½®ãï¼šä½•ã¨ãªãæˆã‚Šè¡Œãã§ä½•ã‹æ›¸ã‹ãªã„ã¨å¿ƒè‹¦ã—ã„ã®ã§ã€æ®´ã‚Šæ›¸ããƒ¬ãƒ™ãƒ« ï¼† æ–‡æ‰ãŒãªãã¦ã¤ã¾ã‚‰ãªã„ ï¼† é–¢æ•°åž‹è¨€èªžã®æŽˆæ¥ç‰ã‚’å—ã‘ãŸã“ã¨ãŒã‚ã‚‹æ–¹ã«ã¯ã‚‚ã®ã™ã”ãå½“ãŸã‚Šå‰ã®æ•™ç§‘æ›¸çš„å†…å®¹ã§ã™ã¿ã¾ã›ã‚“ãŒã€å–ã‚Šæ€¥ãŽè‡ªåˆ†ãŒå®¹æ˜“ã«æ›¸ã‘ã‚‹ã“ã¨ã‚’æ›¸ãã¾ã™ã€‚ï¼ˆã“ã®è¨˜äº‹ã«ç›´æŽ¥ã®é–¢ä¿‚ãŒã‚ã‚‹ï¼‰è³ªå•ãŒã‚ã‚Œã°ã€ï¼ˆã™ãã«åå¿œã§ããªã„å ´åˆã‚‚ã‚ã‚‹ã¨æ€ã„ã¾ã™ãŒï¼‰ãªã‚‹ã¹ãç”ãˆã¾ã™ã€‚èª¤æ¤ãªã©ã®æŒ‡æ‘˜ã‚‚åŠ©ã‹ã‚Šã¾ã™ã€‚ ã•ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒžãªã‚‰ã°èª°ã—ã‚‚ä¸€åº¦ã¯ã€Œã‚ªãƒ¬ã‚ªãƒ¬ãƒ»ã‚ªãƒªã‚¸ãƒŠãƒ«ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’ä½œã‚ŠãŸã„ã€ã¨ã„ã†æ¬²æ±‚ã‚’æŠ±ãã¾ã™ã‚ˆãã€‚ï¼ˆæŠ±ãã¾ã™ã‚ˆãï¼Ÿï¼‰ ãã®ã¨ãã€æ–‡å—åˆ—ãƒ¬ãƒ™ãƒ«ã®æ–‡æ³•ï¼ˆå…·è±¡æ§‹æ–‡(concrete syntax)ã¨è¨€ã„ã¾ã™ï¼‰ã¯ã‚ã‚Šã¨èª°ã§ã‚‚(?)è€ƒãˆã‚‰ã‚Œã¾ã™ãŒã€ãã‚ŒãŒæœ¨æ§‹é€ ãƒ¬ãƒ™ãƒ«ã§ã©ã†ã„ã†é¢¨ã«è¡¨ã•ã‚Œã¦ï¼ˆæŠ½è±¡æ§‹æ–‡(abstract syntax)ã¨è¨€ã„ã¾ã™ï¼‰ã€ã©ã†å‹•ä½œã™ã‚‹ã®ã‹ï¼ˆæ“ä½œçš„æ„å‘³è«–(operational semantics)ã¨
kana321 2015/01/26
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

FunctionalProgramming

programming

language processor

é–¢æ•°åž‹è¨€èªž

functional

OCaml

ã‚ã¨ã§èªã‚€

function

Compiler
ãƒªãƒ³ã‚¯
Flow | A static type checker for JavaScript
Code Faster.Tired of having to run your code to find bugs? Flow identifies probl ems as you code. Stop wasting your time guessing and checking. Code Smarter.It's hard to build smart tools for dynamic languages like JavaScript. Flow understands your code and makes its knowledge available, enabling other smart tools to be built on top of Flow. Code Confidently.Making major changes to large codebases
kana321 2014/11/19
TypeCheck

JavaScript

facebook

flow

ocaml

tool

static typing

find

altJS

code
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®åŸºç¤Ž ((Computer Science Library)) | æµ…äº• å¥ä¸€ |æœ¬ | é€šè²© | Amazon
kana321 2014/11/18
æœ¬

å•†å“

ã‚®ãƒ•ãƒˆ

book

OCaml

Programming

æœ¬

amazon

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

æ›¸ç±
ãƒªãƒ³ã‚¯
ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘ã‚„é–¢æ•°åž‹ã¯ã€Œæ•—è€…ã®é“å…·ã€ã§ã‚ã‚‹
ç§ã¯ã€Œã‚‚ã—å®Œå…¨ç„¡æ¬ ã®ãƒ—ãƒã‚°ãƒ©ãƒžãŒã„ã‚‹ã¨ã—ãŸã‚‰ã€ã©ã‚“ãªãƒ—ãƒã‚°ãƒ©ãƒžã ã‚ã†ã€ã¨å¤¢æƒ³ã™ã‚‹ã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ã€Œå®Œå…¨ç„¡æ¬ ã®ãƒ—ãƒã‚°ãƒ©ãƒžã€ã¨èžã„ã¦ã©ã‚“ãªãƒ—ãƒã‚°ãƒ©ãƒžã‚’ã‚¤ãƒ¡ãƒ¼ã‚¸ã™ã‚‹ã‹ã¯äººã«ã‚ˆã£ã¦ç•°ãªã‚‹ã§ã—ã‚‡ã†ã€‚ã€Œé›£ã—ã„ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã‚’ä½¿ã„ã“ãªã—ã¦ã™ã°ã‚‰ã—ã„ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ›¸ãäººã€ã‚’æƒ³åƒã™ã‚‹äººã‚‚ã„ã‚‹ã§ã—ã‚‡ã†ã—ã€ã€Œãƒãƒ¼ãƒ å†…ã®ãƒ—ãƒã‚°ãƒ©ãƒžã®èƒ½åŠ›ã‚’æ¥µé™ã¾ã§å¼•ãå‡ºã—ã¦æœ€è‰¯ã®çµæžœã‚’ç”Ÿã¿å‡ºã™äººã€ã¨ã„ã£ãŸãƒãƒ¼ãƒ å¯„ã‚Šã®ã‚¤ãƒ¡ãƒ¼ã‚¸ã‚’æŒã¤äººã‚‚ã„ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã€‚ ã€Œã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚„é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ãƒãƒªãƒãƒªä½¿ã„ã“ãªã—ã¦å„ªã‚ŒãŸã‚½ãƒ•ãƒˆã‚¦ã‚¨ã‚¢ã‚’ä½œã‚‹äººã€ã¨ã„ã†ã‚¤ãƒ¡ãƒ¼ã‚¸ã‚’æŒã¤äººã‚‚ã„ã‚‹ã¨æ€ã„ã¾ã™ã€‚ã—ã‹ã—ã€ã¡ã‚‡ã£ã¨è€ƒãˆã¦ã¿ã‚‹ã¨ã€ã“ã‚Œã¯ãŠã‹ã—ãªè©±ã§ã™ã€‚ãªãœãªã‚‰ã€ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚‚é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚‚ã€ã€Œäººé–“ãŒã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã®æŒ™å‹•ã‚’ã™ã¹ã¦æŠŠæ¡ã™ã‚‹ã“ã¨ã¯ã§ããªã„ã“ã¨ã‚’å‰æã«ã€ãã†ã—ãŸäººé–“ã§ã‚ã£ã¦ã‚‚è‰¯ã„ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’ä½œã‚Œã‚‹ã‚ˆã†ã«ç·¨ã¿
kana321 2014/09/26
develop

programming

ãƒ—ãƒã‚°ãƒ©ãƒ

OCaML

architecture

ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

é–¢æ•°åž‹

Tech

ProgrammingLanguage
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®åŸºç¤Žæ¦‚å¿µã‚’å¦ã‚“ã§ã‚‹ - ã¯ã“ã¹ã«ã£ã â™¨
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®åŸºç¤Žæ¦‚å¿µ (ãƒ©ã‚¤ãƒ–ãƒ©ãƒªæƒ…å ±å¦ã‚³ã‚¢ãƒ»ãƒ†ã‚ã‚¹ãƒˆ) ä½œè€…: äº”ååµæ·³å‡ºç‰ˆç¤¾/ãƒ¡ãƒ¼ã‚«ãƒ¼: ã‚µã‚¤ã‚¨ãƒ³ã‚¹ç¤¾ç™ºå£²æ—¥: 2011/07ãƒ¡ãƒ‡ã‚£ã‚¢: å˜è¡Œæœ¬è³¼å…¥: 6äºº ã‚¯ãƒªãƒƒã‚¯: 60å›žã“ã®å•†å“ã‚’å«ã‚€ãƒ–ãƒã‚° (12ä»¶) ã‚’è¦‹ã‚‹ ã“ã®æœ¬ã‚’èªã‚“ã§å¦ã‚“ã§ã‚‹ã€‚ã¾ã åŠåˆ†ãã‚‰ã„ã§é–¢æ•°ã®å®šç¾©ã¨ã‹ã«ã¤ã„ã¦å‹‰å¼·ã—ã¦ã‚‹ã€‚ ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å‹•ä½œã‚’æ•°å¦çš„ã«åŽ³å¯†ã«è¨˜è¿°ã™ã‚‹æ–¹æ³•ã‚’é †ç•ªã«æ•™ãˆã¦ãã‚Œã‚‹ã¨ã„ã†å†…å®¹ã§ã€è¨˜è¿°ã«ã¯å°Žå‡ºã‚·ã‚¹ãƒ†ãƒ ãŒç”¨ã„ã‚‰ã‚Œã¦ã‚‹ã€‚åŸºæœ¬çš„ãªç®—è¡“å¼ã‹ã‚‰ã¯ã˜ã¾ã£ã¦ã€å¤‰æ•°ã®å®šç¾©ã‚„é–¢æ•°ã®å®šç¾©ã€ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒã‚„åž‹ã‚·ã‚¹ãƒ†ãƒ ãªã©ã€æ§˜ã€…ãªè¨€èªžã®æ©Ÿèƒ½ã‚’æŽ¨è«–è¦å‰‡ã«ã‚ˆã£ã¦å®šç¾©ã™ã‚‹æ–¹æ³•ã‚’æ•™ãˆã¦ãã‚Œã‚‹ã€‚ä¸Žãˆã‚‰ã‚ŒãŸè¦å‰‡ãŒæ„å‘³çš„ã«æ„å›³ã—ãŸã‚‚ã®ã‚’è¡¨ã—ã¦ã„ã‚‹ã‹ã®è¨¼æ˜Žã ã‘ã§ãªãã€è¨¼æ˜Žã®ã‚„ã‚Šæ–¹ã‚‚ãã‚ã—ãèª¬æ˜Žã•ã‚Œã¦ã„ã¦ä¸å¯§ã§ãŸã™ã‹ã‚‹ã€‚ ãŠã‚‚ã—ã‚ã„ã®ã¯ã“ã®æœ¬ã®ãŸã‚ã®ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã®æ¼”ç¿’ã‚·ã‚¹ãƒ†ãƒ ã¨ã„ã†ã®ãŒã‚ã£ã¦ã€æœ¬ã®ä¸ã§ä¸Žãˆã‚‰ã‚ŒãŸå°Žå‡ºã‚·ã‚¹ãƒ†ãƒ ã«
kana321 2014/07/14
è¨ˆç®—æ©Ÿ

programming

book

å¦ç¿’

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž

æœ¬

æ›¸ç±

è¨€èªž

OCaml
ãƒªãƒ³ã‚¯
[OCaml]æ›¸è©•ã€Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®åŸºç¤Žã€ - ã‚ã©ã‘ãªã„è©±
åƒ•ã¯ã‚ˆãã€Œé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®å…¥é–€æ›¸ã«ã¯ä½•ãŒã„ã„ã‹ã€ã¨ã„ã†è³ªå•ã‚’å—ã‘ã‚‹ã€‚ãã®ã¨ãã¯å¿…ãšã“ã®æœ¬(ã¨ä»–ã®ã„ãã¤ã‹)ã‚’ç”ãˆã‚‹ã‚ˆã†ã«ã—ã¦ã„ã‚‹ã€‚æ›¸è©•ã‚’æ›¸ã„ãŸã¤ã‚‚ã‚Šã«ãªã£ã¦ã„ãŒã€æ¤œç´¢ã—ã¦ã¿ã‚‹ã¨æ›¸ã„ã¦ãªã„ã‚ˆã†ãªã®ã§ã€åçœã—ã¦è‰¯æ›¸ã‚’ç´¹ä»‹ã—ã¦ã¿ã‚ˆã†ã¨æ€ã†ã€‚ ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®åŸºç¤Ž ((Computer Science Library)) ä½œè€…: æµ…äº•å¥ä¸€å‡ºç‰ˆç¤¾/ãƒ¡ãƒ¼ã‚«ãƒ¼: ã‚µã‚¤ã‚¨ãƒ³ã‚¹ç¤¾ç™ºå£²æ—¥: 2007/03/01ãƒ¡ãƒ‡ã‚£ã‚¢: å˜è¡Œæœ¬è³¼å…¥: 17äºº ã‚¯ãƒªãƒƒã‚¯: 409å›žã“ã®å•†å“ã‚’å«ã‚€ãƒ–ãƒã‚° (127ä»¶) ã‚’è¦‹ã‚‹ æœ¬æ›¸ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®çµŒé¨“ã®ãªã„äººã‚’å¯¾è±¡ã¨ã—ã¦ãŠã‚Šã€æ›¸åé€šã‚Šãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®åŸºç¤ŽãŒèª¬æ˜Žã•ã‚Œã¦ã„ã‚‹ã€‚ä½¿ç”¨ã™ã‚‹è¨€èªžã¯ OCaml ã§ã‚ã‚‹ã€‚è‘—è€…ã®æµ…äº•å…ˆç”Ÿã¯ã€ãŠèŒ¶ã®æ°´å¥³åå¤§å¦ã§ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’æ•™ãˆã¦ã„ã‚‹ã€‚æŽˆæ¥ã®çµŒé¨“ã‚’å…ƒã«ã—ãŸæœ¬ã«ã¯ã‚ˆãã‚ã‚‹ã“ã¨ã ãŒã€å†…å®¹ãŒå®Ÿã«æ•´ç„¶ã¨ã—ã¦ãŠã‚Šã€ä¾‹é¡ŒãŒã“ãªã‚Œã¦ã„ã‚‹ã€‚ åˆå¿ƒè€…ã‚’å¯¾è±¡ã¨
kana321 2013/03/19
æ›¸ç±

#201303

#ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ

functional

#web

programming

book

ocaml

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
ãƒªãƒ³ã‚¯
å®Ÿå‹™ã§ä½¿ã†OCaml - æ³¥è‡ã„ä»•äº‹ã‚’ã‚µã‚¯ã£ã¨ã“ãªã™æ–¹æ³• - keigoiã®æ—¥è¨˜
ãƒ—ãƒã‚°ãƒ©ãƒžãŒå®Ÿå‹™ã§å‡ºä¼šã†ã®ã¯ã€å•é¡ŒãŒæ•´ç†ã•ã‚ŒãŸã‚ãƒ¬ã‚¤ãªä»•äº‹ã°ã‹ã‚Šã˜ã‚ƒãªã„ã€‚ãƒ—ãƒãƒ€ã‚¯ãƒˆã«æœ¬è³ªçš„ã˜ã‚ƒãªã„éƒ¨åˆ†ã§ã‚‚ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ›¸ãå¿…è¦ã«è¿«ã‚‰ã‚Œã‚‹ã€‚ã„ã‚ã‚†ã‚‹é–‹ç™ºæ–¹æ³•è«–ã§ã¯æŠ½è±¡åŒ–ã•ã‚Œã¦ã—ã¾ã†ã€ä»Šã“ã“ã«ã„ã‚‹ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢é–‹ç™ºè€…ã®æ‚©ã¿ã ã€‚ ä»Šæ—¥ã¯ã€ç§ãŒä»•äº‹ã§æ›¸ã„ãŸOCamlã®ã‚³ãƒ¼ãƒ‰ã‚’æ™’ã—ã¦ã€å¦‚ä½•ã«OCamlãŒãƒ—ãƒã‚°ãƒ©ãƒžã®ä»•äº‹ã®é“å…·ã¨ã—ã¦å„ªã‚Œã¦ã„ã‚‹ã‹ã‚’ä¸»å¼µã—ãŸã„ã€‚æ³¥è‡ãã€é–¢æ•°çš„ã§ãªã„ã€ã‚¨ãƒ¬ã‚¬ãƒ³ãƒˆã•ã®ã‹ã‘ã‚‰ã‚‚ãªã„ã€ç”Ÿæ´»è‡ã®ã‚ã‚‹ã‚³ãƒ¼ãƒ‰ã ã€‚å‹¤å‹™å…ˆã¯OCamlã‚’ãƒ¡ã‚¤ãƒ³è¨€èªžã¨ã—ã¦ä½¿ã£ã¦ã„ã‚‹ã€‚ç ”ç©¶æ‰€ã¨ã‹ã§ã¯ãªãæ™®é€šã«å—è¨—é–‹ç™ºã‚’ç”Ÿæ¥ã¨ã—ã¦ã„ã‚‹ä¼šç¤¾ã ã€‚OCamlã¯ç†è«–ä¸€è¾ºå€’ã§ã€ãƒžãƒ‹ã‚¢å‘ã‘ã§ã€ç¾å®Ÿã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢é–‹ç™ºã«ã¯ä½¿ãˆãªã„ã€ã¨ã„ã†èª¤è§£ãŒä¸‡ãŒä¸€ã‚ã‚‹ã‹ã‚‚ã—ã‚Œãªã„ãŒã€å…¨ããã‚“ãªã“ã¨ã¯ãªã„ã€‚ (Haskellã‚‚ãã†ã ã‘ã©ã€ãã‚Œã¯ã¾ãŸã®æ©Ÿä¼šã«) ã„ã‹ã«OCamlãŒå„ªã‚Œã¦ã„ã‚‹ã‹ã«ã¤ã„ã¦ã®æ¦‚è«–ã‚ã„ãŸè©±ã¯ã€OCamlã‚’æ•°åäººä½“åˆ¶ã§10å¹´
kana321 2012/06/17
blog-neta

ãƒ©ã‚¤ãƒ•ãƒãƒƒã‚¯

ocaml

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

functional

é–¢æ•°åž‹

ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ãƒ»IT
ãƒªãƒ³ã‚¯
1