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

TokyoIncidents id:TokyoIncidents

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

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

macã§SATySFiã®ãƒ‡ãƒ¢ãƒ•ã‚¡ã‚¤ãƒ«ã‹ã‚‰PDFãƒ•ã‚¡ã‚¤ãƒ«ã‚’ç”Ÿæˆã™ã‚‹ã¨ã“ã‚ã¾ã§ - Qiita
èªã‚€å‰ã« å…¬å¼ã®READMEãŒå……å®Ÿã—ãŸã®ã§ã€ãã¡ã‚‰ã‚’ã”è¦§ã«ãªã£ã¦ãã ã•ã„ https://github.com/gfngfn/SATySFi ç¾çŠ¶ã§ã¯ã“ã‚Œã‚’èªã‚€ã“ã¨ã«ã‚ˆã£ã¦å¾—ã‚‰ã‚Œã‚‹å®Ÿç”¨çš„ãªä¾¡å€¤ã¯ç‰¹ã«ç„¡ã„ã¨æ€ã„ã¾ã™ã€‚ ã‚ã¨ã€SATySFiè‡ªä½“ã®ã“ã¨ã‚’çŸ¥ã‚ŠãŸã„ã®ãªã‚‰ã€The SATySFi BookãŒã‚ã‚Šã¾ã™ã€‚https://gfngfn.booth.pm/it ems/1046747 ã¯ã˜ã‚ã« 2018/02/10ã®ãŠæ˜¼éŽãŽã«Twitterã®ã‚¿ã‚¤ãƒ ãƒ©ã‚¤ãƒ³ã‚’è¦‹ã¦ã„ãŸã‚‰ã€SATySFiï¼ˆ"satisfy"ã¨åŒæ§˜ã«ç™ºéŸ³ã™ã‚‹ã‚ˆã†ã§ã™ï¼‰ã¨ã„ã†æ–°ã—ã„çµ„ç‰ˆå‡¦ç†ã‚·ã‚¹ãƒ†ãƒ ãŒè©±é¡Œã«ãªã£ã¦ã¾ã—ãŸã€‚LaTeXã®ä»–ã«ã¯ä½•ã‹ãªã„ã®ã‹ãªã‚ã¨æ€ã£ã¦ã„ãŸã®ã§ï¼ˆè‡ªåˆ†ãŒä½¿ãˆã‚‹ã®ã‹ã‚ã‹ã‚‰ãªã„ã‘ã‚Œã©ï¼‰ã²ã¨ã¾ãšä½¿ã£ã¦ã¿ãŸã„ã¨æ„Ÿã˜ã¾ã—ãŸã€‚ ã¾ã æƒ…å ±ã‚‚å°‘ãªã„ã‹ã¨æ€ã„ã¾ã™ã®ã§ã€ã“ã“ã«ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«æ–¹æ³•ã‚’ãƒ¡ãƒ¢ã—ã¦ãŠãã“ã¨ã«ã—ã¾ã™ã€‚ ã€Œã‚‚ã£ã¨ãƒžã‚·ãª
TokyoIncidents 2018/02/13
OCaml

SATySFi
ãƒªãƒ³ã‚¯
JavaScriptã‚’OCamlã‹ã‚‰ç”Ÿæˆã™ã‚‹ãƒˆãƒ©ãƒ³ã‚¹ãƒ‘ã‚¤ãƒ©ã€ŒBuckleScript 1.0ã€ã€ç±³ãƒ–ãƒ«ãƒ¼ãƒ ãƒãƒ¼ã‚°ãŒã‚ªãƒ¼ãƒ—ãƒ³ã‚½ãƒ¼ã‚¹ã§å…¬é–‹ã€‚TypeScriptã‚ˆã‚Šã‚¿ã‚¤ãƒ—ã‚»ãƒ¼ãƒ•ã‹ã¤åŠ¹çŽ‡çš„ã§é«˜é€Ÿã¨
JavaScriptã‚’OCamlã‹ã‚‰ç”Ÿæˆã™ã‚‹ãƒˆãƒ©ãƒ³ã‚¹ãƒ‘ã‚¤ãƒ©ã€ŒBuckleScript 1.0ã€ã€ç±³ãƒ–ãƒ«ãƒ¼ãƒ ãƒãƒ¼ã‚°ãŒã‚ªãƒ¼ãƒ—ãƒ³ã‚½ãƒ¼ã‚¹ã§å…¬é–‹ã€‚TypeScriptã‚ˆã‚Šã‚¿ã‚¤ãƒ—ã‚»ãƒ¼ãƒ•ã‹ã¤åŠ¹çŽ‡çš„ã§é«˜é€Ÿã¨ é‡‘èžæƒ…å ±ãªã©ã®æä¾›ã‚’è¡Œã£ã¦ã„ã‚‹ç±³ãƒ–ãƒ«ãƒ¼ãƒ ãƒãƒ¼ã‚°ã¯ã€OCamlã®ã‚³ãƒ¼ãƒ‰ã‹ã‚‰JavaScriptã®ã‚³ãƒ¼ãƒ‰ã‚’ç”Ÿæˆã™ã‚‹ãƒˆãƒ©ãƒ³ã‚¹ãƒ‘ã‚¤ãƒ©ã€ŒBuckleScript 1.0ã€ã‚’ã‚ªãƒ¼ãƒ—ãƒ³ã‚½ãƒ¼ã‚¹ã§å…¬é–‹ã—ã¾ã—ãŸã€‚ BuckleScriptã¯TypeScriptã‚„BabelJSãªã©ã‹ã‚‰ã‚¤ãƒ³ã‚¹ãƒ‘ã‚¤ãƒ¤ã‚’å¾—ã¦é–‹ç™ºã•ã‚ŒãŸã¨èª¬æ˜Žã•ã‚Œã¦ã„ã¾ã™ãŒã€æœ€å¤§ã®ç‰¹å¾´ã¯TypeScriptãªã©ãŒç‹¬è‡ªã®æ§‹æ–‡ã‚’å‚™ãˆã¦ã„ã‚‹ã®ã«å¯¾ã—ã€BuckleScriptã¯æ—¢å˜ã®è¨€èªžã§ã‚ã‚‹OCamlã‚’æŽ¡ç”¨ã—ã¦ã„ã‚‹ã¨ã“ã‚ã§ã™ã€‚ OCamlã¯ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘åž‹ã¨é–¢æ•°åž‹ã®ä¸¡æ–¹ã®ç‰¹é•·ã‚’å‚™ãˆã€ç‰¹ã«æµ·å¤–ã§ã¯é‡‘èžç³»ã‚·ã‚¹ãƒ†ãƒ ã®é–‹ç™ºã§ã‚ˆãä½¿ã‚ã‚Œã¦ã„ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚ Buckl
TokyoIncidents 2016/09/05
OCaml

JavaScript
ãƒªãƒ³ã‚¯
flow-parser
The Flow Parser is a JavaScript parser written in OCaml. It produces an AST that conforms to the ESTree spec and that mostly matches what esprima produces. The Flow Parser can be compiled to native code or can be compiled to JavaScript using js_of_ocaml. This npm package contains the Flow parser compiled to JavaScript.
TokyoIncidents 2015/06/04
JavaScript

OCaml

flowtype
ãƒªãƒ³ã‚¯
é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã‚¨ãƒƒã‚»ãƒ³ã‚¹ã¨è€ƒãˆæ–¹
2012 3 5 CopyrightÂ© 2011 IT Planning,Inc All rights reserved. LEXIFI 2000 LexiFi DSL LexiFi Web ( ) 2006 Haskell/Microsoft F# 2002 Jane Stree Capital High-Frequency) OCaml 200 (private fund) Ruby on Rails Scala Xen Citrix Xen OCaml http://cufp.org/ Microsoft F# Web fpish.net 2011 Scala, Akka Scala, Akka, Play IntelliFactory ( ) TypeSafe ( ) yesod (Haskell) Web COBOL Haskell Lift (Scala) Web Pytho
TokyoIncidents 2015/01/27
OCaml
ãƒªãƒ³ã‚¯
ulib - OCamlã®ãŸã‚ã®æ–°ã—ã„Unicodeã‚¤ãƒ³ãƒ•ãƒ©ã‚¹ãƒˆãƒ©ã‚¯ãƒãƒ£ãƒ¼
ã¾ã Batteriesã®Ropeã¨ä»¥å‰ä½œã£ã¦ã„ãŸUnicodeãƒ©ã‚¤ãƒ–ãƒ©ãƒªCamomileã®ä¸€éƒ¨ã‚’é›†ã‚ãŸçŠ¶æ…‹ã ã‘ã©ã€ã§ãã‚Œã°ä»Šå¹´ä¸ã«IOã®éƒ¨åˆ†ã‚’åŠ ãˆã¦Ropeã‚’ã‚¹ã‚¯ãƒ©ãƒƒãƒã‹ã‚‰å®Ÿè£…ã—ç›´ã—ã¦æœ€åˆã®ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã‚’ãƒªãƒªãƒ¼ã‚¹ã—ãŸã„ã¨æ€ã£ã¦ã„ã‚‹ã€‚ï¼ˆã¨åŽ»å¹´ã®ä»Šé ƒã‚‚è¨€ã£ã¦ã„ãŸæ°—ãŒã™ã‚‹ã‘ã©æ°—ã«ã—ãªã„ï¼‰ ç´”ç²‹é–¢æ•°çš„ã€‚Camomileã§ã¯OCamlã®stdlibã®æ–‡å—åˆ—å‡¦ç†ã‚’çœŸä¼¼ãŸãŸã‚ã€æ‰‹ç¶šãçš„ãªã‚¤ãƒ³ã‚¿ãƒ¼ãƒ•ã‚§ãƒ¼ã‚¹ã«ãªã£ã¦ã„ã‚‹ã€‚ã§ã‚‚æµçŸ³ã«21ä¸–ç´€ã«å…¥ã£ã¦10å¹´ä»¥ä¸ŠçµŒã£ã¦ãã‚Œã¯ãªã„ã ã‚ã†ã¨æ€ã†ã®ã§ã€‚æ–‡å—åˆ—ãƒ‡ãƒ¼ã‚¿åž‹ã¯Ropeã‹ãªã‚ã¨æ€ã£ã¦ã„ã‚‹ã€‚ è»½é‡ã€‚Camomileã¯ã¡ã‚‡ã£ã¨UTF-8æ–‡å—åˆ—ã‚’å‡¦ç†ã™ã‚‹ã®ã«ã€GB18030ã®æ–‡å—ã‚³ãƒ¼ãƒ‰è¡¨ã‚’ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã—ãªãã¦ã¯ã„ã‘ãªã„ã¨ã‹å¯Œè±ªçš„ã™ãŽã¦ã€å¼•ãäººãŒå¤šã„ã€‚ä»Šè€ƒãˆã¦ã„ã‚‹ã®ã¯ã€ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’åˆ†å‰²ã—ã¦ã€Coreãªå‡¦ç†ã ã‘ulibãƒ©ã‚¤ãƒ–ãƒ©ãƒªã«ã€ãã‚Œä»¥å¤–ã®ã„ã‚ã„ã‚ãªæ–‡å—åˆ—å‡¦ç†ã‚„æ–‡å—åˆ—ç…§åˆã€
TokyoIncidents 2014/10/25
OCaml
ãƒªãƒ³ã‚¯
http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf
TokyoIncidents 2014/10/25
programming

haskell

OCaml

scheme
ãƒªãƒ³ã‚¯
http://ocamloscope.herokuapp.com/
TokyoIncidents 2014/10/25
OCaml
ãƒªãƒ³ã‚¯
OCaml with Mirageã§Xen/EC2ä¸Šã§å‹•ãOSã‚’ä½œã‚‹ - Qiita
Mirageã‚’ä½¿ã†ã¨ã€OCamlã§Xenã‚„EC2ã®ä¸Šã§å‹•ãOSã‚’ä½œã‚‹ã“ã¨ãŒã§ãã‚‹ã€‚ ã‚¹ã‚¿ãƒ–ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚‚ç”¨æ„ã•ã‚Œã¦ã„ã‚‹ã®ã§ã€Linuxã€ MacOS Xã®ã‚ˆã†ãªæ™®é€šã®OSã§é–‹ç™ºã—ã¦ã€ãã®å¾Œã€Xen/EC2ä¸Šã§å‹•ãã‚«ãƒ¼ãƒãƒ«ã«ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«ã§ãã‚‹ã€‚ http://openmirage.org ã«ã‚ˆã‚‹ã¨ã€é€šå¸¸ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚ˆã‚Šã‚‚ã€ã‚ˆã‚Šå®‰ä¾¡ã«ã€ã‚»ã‚ãƒ¥ã‚¢ã«ã€ã‚ˆã‚Šè©³ç´°ãªåˆ¶å¾¡ãŒåˆ©ç‚¹ã§ã™ã€‚ å‰æ Debian squeeze (x64) Xen Server 6.1 x64ã¯å¿…é ˆã‚‰ã—ã„ã€‚ OCaml 4.00.1 ã® ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« 3.12.1ä»¥é™ãŒapt-getã§å…¥ã‚‹ãªã‚‰ã€ãã¡ã‚‰ã§ã‚‚OKã€‚ ã¾ãšã¯ã€ä¾å˜ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã™ã‚‹ã€‚
TokyoIncidents 2014/10/25
#é–¢æ•°åž‹ãªã‚“ãŸã‚‰

OCaml

xen
ãƒªãƒ³ã‚¯
OCaml: ãƒ©ãƒ ãƒ€è¨ˆç®—ã¨åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ï¼Ÿ - type t (* void *)
å‹äººãŒæ¥½ã—ãã†ã«ã†ã¡ã®ç ”ç©¶å®¤ã®å…ˆç”Ÿã«æ•™ãˆã¦ã‚‚ã‚‰ã£ãŸåž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§éŠã‚“ã§ã„ãŸã®ã§ã€ã¡ã‚‡ã£ã¨ãã‚Œã‚’ã¾ã¨ã‚ã¦ã„ã¾ã™ã€‚ è€ƒå¯Ÿã¯ã“ã‚Œã‹ã‚‰ã€‚ è¿½è¨˜ï¼š @camloeba ã•ã‚“ã«æœ€åˆã®ãƒ©ãƒ ãƒ€è¨ˆç®—ã®ç°¡ç´„ãŒé–“é•ã£ã¦ã„ã‚‹ã¨æŒ‡æ‘˜ã‚’ã„ãŸã ãã€ä¿®æ£ã„ãŸã—ã¾ã—ãŸã€‚ã”æŒ‡æ‘˜ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ â—‹ãƒ©ãƒ ãƒ€è¨ˆç®—ã«ã¤ã„ã¦ ã¾ãšã€ç°¡å˜ã«åž‹ãªã—ãƒ©ãƒ ãƒ€è¨ˆç®—ã«ã¤ã„ã¦æ›¸ã„ã¦ã¿ã¾ã™ã€‚é–“é•ã£ã¦ã„ã‚‹ã¨ã“ã‚ãŒã‚ã£ãŸã‚‰ãƒ„ãƒƒã‚³ãƒŸã‚’å…¥ã‚Œã¦ãã ã•ã„ã¾ã›m(_ _;)m ã¾ãšåž‹ãªã—ãƒ©ãƒ ãƒ€è¨ˆç®—ã¨ã„ã†ã®ã¯ã€ã‚‚ã®ã™ã”ãå¤§é›‘æŠŠã«è¨€ã†ã¨OCamlã§ã„ã†ã¨åŒ¿åé–¢æ•°ã¿ãŸã„ãªã‚‚ã®ã§ã™ã€‚é–¢æ•°ã—ã‹ç„¡ã„è¨ˆç®—ä½“ç³»ãªã®ã§ã™ãŒã€ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã§ã™ã€‚ Î»x. Î»y. x y y ã¿ãŸã„ã«æ›¸ã„ã¦ã€ã“ã‚Œã¯x, yã®ï¼’å¼•æ•°é–¢æ•°ã‚’è¡¨ã—ã¾ã™ã€‚ é–¢æ•°ã«å‡ºæ¥ã‚‹äº‹ã¯é–¢æ•°é©ç”¨ã®ã¿ã§ã€ä¾‹ãˆã° (Î»x. x x) (Î»y. z) => (Î»y. z) (Î»y. z) => z ã¿ãŸã„ã«ç°¡ç´„ã—ã¾ã™ã€‚
TokyoIncidents 2014/05/11
OCaml
ãƒªãƒ³ã‚¯
Lexer and parser generators (ocamllex, ocamlyacc)
ã“ã®ç« ã§ã¯ ocamllex ã¨ ocamlyacc ã®è§£èª¬ã‚’ã—ã¾ã™ã€‚ocamllex ã¯ã€æ£è¦è¡¨ç¾ã®é›†åˆã¨ã€ãã‚Œã«å¯¾å¿œã™ã‚‹ã‚»ãƒžãƒ³ãƒ†ã‚£ã‚¯ã‚¹ã‹ã‚‰å—å¥è§£æžå™¨ã‚’ç”Ÿæˆã—ã€ocamlyacc ã¯æ–‡æ³•ã¨ã€ãã‚Œã«å¯¾å¿œã™ã‚‹ã‚»ãƒžãƒ³ãƒ†ã‚£ã‚¯ã‚¹ã‹ã‚‰æ§‹æ–‡è§£æžå™¨ã‚’ç”Ÿæˆã—ã¾ã™ã€‚ ã“ã®ãƒ—ãƒã‚°ãƒ©ãƒ ç”Ÿæˆãƒ„ãƒ¼ãƒ«ã¯ã€C è¨€èªžç’°å¢ƒã§æœ‰åãª lex ã¨ yacc ã¨ã¨ã¦ã‚‚ã‚ˆãä¼¼ã¦ã„ã¾ã™ã€‚ã“ã®ç« ã¯ lex ã¨ yacc ã®çŸ¥è˜ãŒã‚ã‚‹ã“ã¨ã‚’å‰æã¨ã—ã¦ã„ã¾ã™ã€‚ocamllex ã¨ ocamlyacc ã«ä¸Žãˆã‚‹ã‚½ãƒ¼ã‚¹ã®æ–‡æ³•ã‚„ lex ã¨ yacc ã¨ã®ä¸»ãªç›¸é•ç‚¹ãªã©ã¯è§£èª¬ã—ã¾ã™ãŒã€lex ã¨ yacc ã§ã®å—å¥è§£æžå™¨ã‚„æ§‹æ–‡è§£æžå™¨ã®åŸºæœ¬çš„ãªæ›¸ãæ–¹ã¯è§£èª¬ã—ã¾ã›ã‚“ã€‚lex ã¨ yacc ã‚’ã‚ˆãçŸ¥ã‚‰ãªã„æ–¹ã¯ã€``Compilers: principles, techniques, and tools''(Aho, Sethi and Ullman
TokyoIncidents 2014/03/06
programming

parser

OCaml
ãƒªãƒ³ã‚¯
4-1. Parser
4-1. æ§‹æ–‡è§£æžã®è©± ç¾åœ¨ã¾ã§ã®å‡¦ç†ç³»ã«ã¯ã€ãƒŸãƒ‹OCamlè¨€èªžãƒ—ãƒã‚°ãƒ©ãƒ ã®æ§‹æ–‡è§£æžã‚’è¡Œã£ã¦ãã‚Œã‚‹éƒ¨åˆ†ãŒãªã„ã®ã§ã€ ãŸã¨ãˆã°ã€if 2=1 then 1*2 else 1*(2+3) ã¨ã„ã†å¼ã‚’ã€ If (Eq(IntLit 2, IntLit 1), Times(IntLit 1, IntLit 2), Times(IntLit 1, Plus(IntLit 2,IntLit 3))) ã¨ã„ã†ã‚ˆã†ã« expåž‹ã®å¼ã¨ã—ã¦æ›¸ã‹ãªãã¦ã¯ãªã‚‰ãšã€å…¥åŠ›ãŒå¤§å¤‰ã§ã‚ã‚Šã€é–“é•ã„ã‚„ã™ã„ã€‚ ã‚‚ã—ã€ parse "if 2=1 then 1*2 else 1*(2+3)" ã¨ã™ã‚‹ã¨ã€ä¸Šè¨˜ã®expåž‹ã®å¼ã‚’ç”Ÿæˆã—ã¦ãã‚Œã‚‹é–¢æ•°parseãŒã‚ã‚Œã°ã€å¤§å¤‰ã«ä¾¿åˆ©ã§ã‚ã‚‹ã€‚ ã“ã“ã§ã€ã€Œæ§‹æ–‡è§£æžã™ã‚‹ã€ã¨ã„ã†è¨€è‘‰ã‚’ä½¿ã£ã¦ããŸãŒã€æ£ç¢ºã«ã¯ä»¥ä¸‹ã®2ã¤ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã‹ã‚‰æ§‹æˆã•ã‚Œã‚‹ã€‚ å—å¥è§£æžå™¨ (lexer)..å…¥åŠ›æ–‡å—åˆ—ã‚’ã€ãƒˆãƒ¼ã‚¯ãƒ³(
TokyoIncidents 2014/03/06
programming

parser

OCaml
ãƒªãƒ³ã‚¯
1