GitHub - harukamm/ocaml-blockly: OCaml visual programming editor based on Blockly.You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
OCaml 㧠Web フãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã‚’書ã
è¦æ—¨ãƒ•ãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰é–‹ç™ºã« Elm ã¯å …ãã¦é€Ÿãã¦ã¨ã¦ã‚‚良ã„ã¨æ€ã†ã€‚昨今㮠Flux 系アーã‚テクãƒãƒ£ã¯ä»£æ•°çš„データ型ã¨ç›¸æ€§ãŒè‰¯ã„。ã¨ã“ã‚ã§å·¥æ•°ã‚’減らã™ãŸã‚ã«ã¯ãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ã‚‚åŒã˜è¨€èªžã§æ›¸ã„ã¦ã‚ã‚よãã° isomorphic ã«ã—ã¦ã—ã¾ã„ãŸã„ã¨ã“ã‚ã ãŒã€Elm ã¯ãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ã‚’書ãã«ã¯ç¾çŠ¶é©ã—ã¦ã„ãªã„。 OCaml ãªã‚‰ js_of_ocaml ã§ã‚¨ã‚³ã‚·ã‚¹ãƒ†ãƒ を丸ã”ã¨ãƒ–ラウザã«æŒã£ã¦æ¥ã‚Œã‚‹ã®ã§ãƒ•ãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã‚‚ãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ã‚‚ç„¡ç†ãªã書ã‘ã‚‹ã¯ãšã§ã‚る。ã¾ãš The Elm Architecture ã‚’ OCaml ã§å®Ÿè·µã§ãるよã†ã«ã™ã‚‹ãŸã‚ Caelm ã¨ã„ã†ãƒ©ã‚¤ãƒ–ラリを書ã„ã¦ã„る。俺ã®é‡Žæœ›ã¯ã¾ã ã¾ã ã“ã‚Œã‹ã‚‰ã (未完) Elm 㨠TEA ã«ã¤ã„ã¦Elm ã¨ã„ã†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžãŒã‚る。ã„ã‚ゆる AltJS ã®ä¸€ã¤ã§ã‚る。 ミニマリスティク㪠ML ç³»ã®é–¢æ•°è¨€èªžã§ã€åž‹æŽ¨è«–ã‚’æŒã¡ã€åž‹ã‚¯ãƒ©ã‚¹ã‚’æŒãŸãš
OCamlã®ç°¡å˜ãªæ‰‹å¼•ã | POSTD
本記事ã§ã¯ã€ OCaml ã«ã¤ã„ã¦ç°¡å˜ã«èª¬æ˜Žã—ã¾ã™ã€‚ã“ã“ã§ã¯ã€ç§ãŒæœ€ã‚‚優れã¦ã„ã‚‹ã¨è€ƒãˆã‚‹OCamlã®æ©Ÿèƒ½ã®ã¿ã‚’å–上ã’ã¾ã™ã€‚ 本記事ã§ã¯ã€æ©Ÿèƒ½ã‚’説明ã™ã‚‹ä¸Šã§ä½¿ç”¨ä¾‹ã¯ã‚ã¾ã‚Šä½¿ã‚ãšã€ã©ã¡ã‚‰ã‹ã¨ã„ã†ã¨æ§‹æ–‡ã‚’使ã£ã¦ã„ãã¾ã™ã€‚ã™ã¹ã¦ã®æ©Ÿèƒ½ã«é–¢ã™ã‚‹è©³ç´°ã‚’知りãŸã„æ–¹ã¯ã€ 『OCaml Document and User’s Manual〠〠『Real World Ocaml〠をèªã‚€ã“ã¨ã‚’ãŠå‹§ã‚ã—ã¾ã™ã€‚ å„機能ã®èª¬æ˜Žã«ã¯ã€ç°¡å˜ãªæ§‹æ–‡ã®èª¬æ˜Žã€ã„ãã¤ã‹ã®ä¾‹ã€ãã—ã¦å‚考文献ã®ãƒªãƒ³ã‚¯ãŒç››ã‚Šè¾¼ã¾ã‚Œã¦ã„ã¾ã™ã€‚ã“ã®è¨˜äº‹è‡ªä½“ã¯ã€OCamlã®æ©Ÿèƒ½ã‚’å°‘ã—味ã‚ã£ã¦ã¿ãŸã„æ–¹ã€ã¾ãŸã¯ç‰¹å®šã®æ©Ÿèƒ½ã‚’ã‚‚ã†å°‘ã—å¦ã³ãŸã„ã¨ã„ã†æ–¹ã®å‚考ã«ãªã‚‹ã§ã—ょã†ã€‚ ã”æ„見ãªã©ã‚ã‚Šã¾ã—ãŸã‚‰ã€ mads379@gmail.com ã¾ã§ã”連絡ã„ãŸã ãã‹ã€ @mads_hartmann ã®Twitterアカウントã«ã”投稿ãã ã•ã„。 コードを試ã—ã¦ã¿ãŸã„æ–¹ã¯ã€
OCaml入門ã®æ‰‹å¼• | POSTD
OCamlã‚’å¦ã¶ã«ã¯ã€ã¾ãšä½•ã‹ã‚‰æ‰‹ã‚’付ã‘ãŸã‚‰ã„ã„ã§ã—ょã†ã‹ï¼Ÿã€€ã‚ãªãŸãªã‚‰ä½•ã‚’ã—ã¾ã™ã‹ï¼Ÿ ç§ã¯ã“ã‚Œã¾ã§ã€æらã10数回ã¯OCamlを覚ãˆã‚ˆã†ã¨ã—ã¾ã—ãŸã€‚ãã—ã¦æ‰‹ã‚’付ã‘ã¦ã¯è«¦ã‚ã€ã¾ãŸä»˜ã‘ã¦ã¯è«¦ã‚ã®ç¹°ã‚Šè¿”ã—ã§ã€ã¤ã„ã«ã¯æ•°ãˆã‚‹ã®ã‚’ã‚„ã‚ã¦ã—ã¾ã£ãŸãらã„ã§ã™ã€‚ ã§ã‚‚ã€ä»Šå›žã¯ç¶šã„ã¦ã„ã¾ã™ã€‚ã²ã‚‡ã£ã¨ã™ã‚‹ã¨ã€ã‚³ãƒŸãƒ¥ãƒ‹ãƒ†ã‚£ãã®ã‚‚ã®ã«ä½•ã‹æ ¹æœ¬çš„ãªå¤‰åŒ–ãŒã‚ã£ãŸã®ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“。 ç§ã«ã¨ã£ã¦åŠŸã‚’å¥ã—ãŸã®ãŒå®Ÿéš›ã¯ä½•ã ã£ãŸã®ã‹ã€ä»¥ä¸‹ã«è€ƒå¯Ÿã—ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ å½¹ã«ç«‹ã¤æœ¬ã¯ï¼Ÿ 『 Real World OCaml （以下ã€RWO）ã€ãŒãŠå‹§ã‚ã§ã™ã€‚ã¨ã„ã†ã‚ˆã‚Šã‚‚〠ãれ以外ã«ãŠå‹§ã‚ã¯ã‚ã‚Šã¾ã›ã‚“ 。RWOã¯ã€ç§ã®ç”Ÿæ¶¯ã®ä¸ã§ã‚‚1ã€2を争ã†ã“ã¨ãŒã§ãã‚‹ãらã„ã®ã‚³ãƒ³ãƒ”ュータ言語解説書ã§ã™ã€‚ ã¡ãªã¿ã«ã€ãã®ä»–ã«ã‚‚解説書ã¯ã‚ã‚Šã¾ã™ãŒã€å¤§ä½“ãŒä¸æ£ç¢ºãªå†…容をå«ã‚“ã§ã„ã‚‹ã‹ã€ã‚ã‚‹ã„ã¯ãƒ•ãƒ©ãƒ³ã‚¹èªžã§æ›¸ã‹ã‚Œã¦ã„ã‚‹ã‹ãªã®ã§ã€ èªã¾ãªã„ æ–¹ãŒã„ã„ã§ã—ょ
Python to OCaml: retrospective - Thomas Leonard's blog
In 2013, I spent 6 months converting 0install's 29,215 lines of Python to OCaml (learning OCaml along the way). In this post, I'll describe the approach I took and how it went. There will be graphs. If you don't want to read the whole thing, the take-away is this: The new code is a similar length (slightly shorter), runs around 10x faster, and is statically type checked. ( This post also appeared
ウェブブラウザã§é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°! js_of_ocaml - camlspotter’s blog
js_of_ocaml ãŒç†±ã„。 Google ã® Dart ã¨ã‹ã€ãã‚“ãªå ´åˆã˜ã‚ƒãªã„!! OCaml ã§æ›¸ã‹ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒ ãŒãªãœã‹ JavaScript ã«å¤‰æ›ã•ã‚Œã€ãã‚ŒãŒãƒ–ラウザã§å‹•ã。 JS ã§åž‹ãŒã¤ã„ã¦ã„ãªã„オブジェクトã§ã‚‚何ã¨ãªãåž‹ã‚’ã¤ã‘㦠OCamlã§åž‹å®‰å…¨ã«å‘¼ã³å‡ºã›ã‚‹! æ—¢å˜ã® JS ライブラリ資産ãŒã€ã»ã¨ã‚“ã©æ‰‹é–“ã‚’ã‹ã‘ãšã«ã€ãã®ã¾ã¾é–¢æ•°åž‹è¨€èªžãƒ‘ラダイムã§ä½¿ãˆã‚‹! ãˆï¼Ÿã‚ˆãã‚ã‹ã‚‰ãªã„？ http://ocsigen.org/js_of_ocaml/manual/ ã® demo を試ã—ã¦ã”覧ãªã•ã„。ã“ã‚ŒãŒå…¨éƒ¨ OCaml ã§æ›¸ã‹ã‚Œã¦ã„る…! ãã‚“ãªã‚ã‘ã§ã€ js_of_ocaml 体験記。ã ã„ãŸã„実際ã«è¡Œã£ã¦ã„ã£ãŸ Hack ã‚’(è¡Œãæ¢ã¾ã‚Šã«ãªã£ãŸå¤±æ•—æžã¯åˆˆã‚ŠåŽ»ã£ã¦)ãªãžã£ã¦ã„る。ã‚ã€ã¡ãªã¿ã«å½“æ–¹ JavaScript ã«é–¢ã—ã¦ã¯ã»ã¨ã‚“ã©çŸ¥è˜ãŒç„¡ã„。JS ã«é–¢ã—ã¦ã¯ç”¨èªžã¨ã‹é–“é•
1モジュール1データ型主義 - camlspotter’s blog
OCaml ã®ã€Œ1モジュール1データ型スタイルã€ã€‚ã“ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚¹ã‚¿ã‚¤ãƒ«ã¯21世紀ã«å…¥ã£ã¦ã‹ã‚‰ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’多用ã™ã‚‹ OCaml コミュニティã§æµè¡Œã‚Šã ã—ãŸã‚‚ã®ã§ç§ã‚‚採用ã—ã¦ã„ã¾ã™ã€‚æºæµã¯ SML æ–¹é¢ã«ã‚ã‚‹ã¨èžãã¾ã—ãŸãŒâ€¦ç§è‡ªä¿¡ã¯ç¢ºèªã—ã¦ã„ã¾ã›ã‚“。è¦å‡ºå…¸ã§ã™ã€‚ 「1モジュール1データ型スタイルã€ã®æ„味ã™ã‚‹ã¨ã“ã‚ã¯ç°¡å˜ã§ã™: データ型一ã¤ä¸€ã¤ã«ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’一ã¤ä¸€ã¤ä½œã‚‹ã€‚ モジュールåã¯åž‹ã®æ„味ã™ã‚‹åå‰ã‚’ã¤ã‘る。人ãªã‚‰ Person。 モジュール内ã§å®šç¾©ã™ã‚‹ãƒ‡ãƒ¼ã‚¿åž‹ã¯å¸¸ã« t ã¨ã„ã†æŠ½è±¡çš„ãªåå‰ã«ã™ã‚‹ã€‚ t を主対象ã¨ã™ã‚‹æ“作ã¯ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«å†…ã§å®šç¾©ã™ã‚‹ã€‚ ãŸã ã—ã€å…¨ã¦ã® OCaml プãƒã‚°ãƒ©ãƒ ã¯ã“ã®ã‚ˆã†ã«æ›¸ã‹ã‚Œã‚‹ã¹ã—ã€ã¨ã„ã†ã‚‚ã®ã§ã‚‚ã‚ã‚Šã¾ã›ã‚“。 例ãˆã°ã€ OCaml ã®ã‚³ãƒ³ãƒ‘イラã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã¯ã“ã®ã‚¹ã‚¿ã‚¤ãƒ«ã§ã¯å…¨ã書ã‹ã‚Œã¦ã„ã¾ã›ã‚“。 「1モジュール1データ型スタイルã€ã®åˆ©ç‚¹ã¯: モジュールå
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://proofcafe.org/~keigoi/tmp/imai-pplss2012-ocaml.pdf
『Real World OCaml ãŒå‡ºã¾ã—㟠- camlspotter’s blogã€ã¸ã®ã‚³ãƒ¡ãƒ³ãƒˆ
{{#tags}}- {{label}}
{{/tags}}