Documentation | reason
Documentation This directory is not the Reason User documentation. This directory is for Reason contributor documentation. The Reason user docs live online at https://reasonml.github.io. The repo for those Reason docs lives at github.com/reasonml/reasonml.github.io Inside of this directory: Getting Started Contributing: GETTING_STARTED_CONTRIBUTING.md. Releasing: RELEASING.md Programmatically Usin
関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å®šç¾©ï¼†å®Ÿè£…ã®ä»•æ–¹ã®ä¾‹ - Qiita
å‰ç½®ã：何ã¨ãªãæˆã‚Šè¡Œãã§ä½•ã‹æ›¸ã‹ãªã„ã¨å¿ƒè‹¦ã—ã„ã®ã§ã€æ®´ã‚Šæ›¸ãレベル ＆ æ–‡æ‰ãŒãªãã¦ã¤ã¾ã‚‰ãªã„ ＆ 関数型言語ã®æŽˆæ¥ç‰ã‚’å—ã‘ãŸã“ã¨ãŒã‚ã‚‹æ–¹ã«ã¯ã‚‚ã®ã™ã”ã当ãŸã‚Šå‰ã®æ•™ç§‘書的内容ã§ã™ã¿ã¾ã›ã‚“ãŒã€å–り急ãŽè‡ªåˆ†ãŒå®¹æ˜“ã«æ›¸ã‘ã‚‹ã“ã¨ã‚’書ãã¾ã™ã€‚（ã“ã®è¨˜äº‹ã«ç›´æŽ¥ã®é–¢ä¿‚ãŒã‚る）質å•ãŒã‚ã‚Œã°ã€ï¼ˆã™ãã«åå¿œã§ããªã„å ´åˆã‚‚ã‚ã‚‹ã¨æ€ã„ã¾ã™ãŒï¼‰ãªã‚‹ã¹ãç”ãˆã¾ã™ã€‚誤æ¤ãªã©ã®æŒ‡æ‘˜ã‚‚助ã‹ã‚Šã¾ã™ã€‚ ã•ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒžãªã‚‰ã°èª°ã—も一度ã¯ã€Œã‚ªãƒ¬ã‚ªãƒ¬ãƒ»ã‚ªãƒªã‚¸ãƒŠãƒ«ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’作りãŸã„ã€ã¨ã„ã†æ¬²æ±‚を抱ãã¾ã™ã‚ˆã。（抱ãã¾ã™ã‚ˆã？） ãã®ã¨ãã€æ–‡å—列レベルã®æ–‡æ³•ï¼ˆå…·è±¡æ§‹æ–‡(concrete syntax)ã¨è¨€ã„ã¾ã™ï¼‰ã¯ã‚ã‚Šã¨èª°ã§ã‚‚(?)考ãˆã‚‰ã‚Œã¾ã™ãŒã€ãã‚ŒãŒæœ¨æ§‹é€ レベルã§ã©ã†ã„ã†é¢¨ã«è¡¨ã•ã‚Œã¦ï¼ˆæŠ½è±¡æ§‹æ–‡(abstract syntax)ã¨è¨€ã„ã¾ã™ï¼‰ã€ã©ã†å‹•ä½œã™ã‚‹ã®ã‹ï¼ˆæ“作的æ„味論(operational semantics)ã¨
Ocamljs
Ocamljs Ocamljs is a system for compiling OCaml to Javascript. It includes a Javascript back-end for the OCaml compiler, as well as several support libraries, such as bindings to the browser DOM. Ocamljs also works with orpc for RPC over HTTP, and froc for functional reactive browser programming. The full OCaml language and much of the OCaml standard library is supported. There is special support
Coqã«ã‚ˆã‚‹è¨¼æ˜Žé§†å‹•é–‹ç™ºã§ Merge Sort プãƒã‚°ãƒ©ãƒ ã‚’ã¤ãã£ã¦ã¿ãŸ - ã«ã‚ã¨ã‚Šå°å±‹ã§ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
OCamlåˆå®¿ã§å¸°ã‚Šã®è»Šã®ä¸ã§id:zyxwv ã•ã‚“ã«MergeSortã®æ£ã—ã•ã‚’ã©ã†ã‚„ã£ã¦è¨¼æ˜Žã™ã‚‹ã‹èžã‹ã‚Œã¦ã¨ã£ã•ã«è¨¼æ˜Žã§ããªã‹ã£ãŸã®ã§ã€åˆå®¿ã‹ã‚‰å¸°ã£ãŸã‚ã¨ã«ä¸€ç”Ÿæ‡¸å‘½è¨¼æ˜Žã—ã¦ã¿ãŸã€‚ プãƒã‚°ãƒ©ãƒ ã¨è¨¼æ˜Žã®å…¨ä½“ã¯ã“ã¡ã‚‰: yoshihiro503 / mergesort / source / — Bitbucket。 æ€ã£ãŸã‚ˆã‚Šç°¡å˜ã§ã¯ãªãã€ã„ã‚ã„ã‚ãªãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ãŒå¿…è¦ã§éžå¸¸ã«å‹‰å¼·ã«ãªã£ãŸã€‚Coqåˆå¿ƒè€…ã®äººã¯MergeSortã®å•é¡Œã‚’ã¨ã‚Šã‚ãˆãšã®ç›®æ¨™ã«ã—ã¦è¨¼æ˜Žã‚’é ‘å¼µã‚‹ã¨éžå¸¸ã«åŠ¹çŽ‡ãŒã„ã„ã®ã§ã¯ãªã„ã‹ã¨æ€ã†ã€‚ ç§ã¯ã€ã ã„ãŸã„以下ã®æµã‚Œã§ãƒ—ãƒã‚°ãƒ©ãƒ ã—ãŸã€‚ Sortedã¨ã„ã†å‘½é¡Œã‚’作りã€ãƒªã‚¹ãƒˆãŒã‚½ãƒ¼ãƒˆæ¸ˆã¿ã§ã‚ã‚‹ã¨ã„ã†çŠ¶æ…‹ã‚’定義ã™ã‚‹ mergesort関数ãŒã‚ã‚‹ã¨ã—ã¦ã€æº€ãŸã™ã¹ã性質(i)を定ç†ã¨ã—ã¦è¨˜è¿°ã™ã‚‹ mergesort関数を定義ã™ã‚‹ mergesort関数ã«å¿…è¦ãªè£œåŠ©é–¢æ•° merge関数を定義ã—
ocamljs を使ãŠã† ： OCamlã‹ã‚‰JavaScriptã¸ã®å¤‰æ› - keigoiã®æ—¥è¨˜
ocamljs 㯠OCamlã‹ã‚‰ JavaScript ã¸ã®ãƒˆãƒ©ãƒ³ã‚¹ãƒ¬ãƒ¼ã‚¿ã 。å‰å›žã®è¨˜äº‹ã¨é †ç•ªãŒé€†ã«ãªã£ã¦ã—ã¾ã£ãŸã‘ã‚Œã©ä»Šå›žã¯ocamljsã«ã¤ã„ã¦æ›¸ã (基本的㫠http://jaked.github.com/ocamljs/ 以外ã®ã“ã¨ã¯æ›¸ã„ã¦ãªã„ã§ã™ã€‚)。 JavaScriptã¯æ´å²çš„経緯ã¨ãã®ç°¡æ½”ã•ã‹ã‚‰webブラウザã§ä½¿ã‚ã‚Œã¦ã„ã‚‹ãŒï¼Œé™çš„型付ã‘ã§ãªã„ã®ã§ä¿¡é ¼æ€§ã®é¢ã§ã„ã¾ã„ã¡ä¸å®‰ã ã£ãŸã‚Šã€è¨€èªžã®ä½¿ã„ã‚„ã™ã•ã®é¢ã§ã‚‚パターンマッãƒã®æ§‹æ–‡ãŒç„¡ã„ã¨ã‹ã€ã¾ã¨ã‚‚ãªãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚·ã‚¹ãƒ†ãƒ ãŒãªã„ã¨ã‹ã§è‰¯ããªã„。 ocamljsを使ãˆã°ã€æ¯”較的安全・簡潔ã«å¤§è¦æ¨¡ã‹ã¤å‹•çš„ãªwebページを構æˆã§ãã‚‹ã‹ã‚‚ã—ã‚Œãªã„。 ocamljsã¯æ®‹å¿µãªãŒã‚‰ã¾ã æˆç†Ÿã—ã¦ã„ã‚‹ã¨ã¯ã„ãˆãªã„ãŒã€å®Ÿã¯æ—¢ã«ã™ã”ã高機能ã 。 ç¾ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã§æ—¢ã« DOM ã‚„ jQuery ã‚’ OCaml ã‹ã‚‰æ“作ã§ãã‚‹ã—ã€ã„ã–ã¨ãªã‚Œã° JavaScri
ã“ãã¡ãƒ¼ãšãƒ—ム- ç„¡æ–™ã§ä½¿ãˆã‚‹ã‚¤ãƒ™ãƒ³ãƒˆãƒ»ã‚»ãƒŸãƒŠãƒ¼ã®å‘ŠçŸ¥ãƒ»é›†å®¢ã‚µãƒ¼ãƒ“ス
個人ã‹ã‚‰æ³•äººã¾ã§å¹…広ã„主催者ã®æ–¹ã«ã”活用ã„ãŸã ã„ã¦ã„ã¾ã™ã€‚ イベント主催者9万人以上 ãƒã‚±ãƒƒãƒˆè²©å£²700万枚以上
OCamlã®ã¾ãªã³ã‹ãŸ - ã¾ãã€ãã‚“ãªã‚‚ã‚“ã§ã—ょã†ã€‚
ã„ã‘ãŒã¿ã•ã‚“ãŒç´ æ™´ã—ã„エントリをã‚ã’ã¦ã‚‰ã£ã—ゃã„ã¾ã™ã€‚Inemuri nezumi diary(2009-05-03)。ãã“ã§ã€ŒOCamlã®ã¾ãªã³ã‹ãŸã€ã«ã¤ã„ã¦æ€ã†ã¨ã“ã‚を改ã‚ã¦æ›¸ãã¾ã™ã€‚ ã¾ãšã€Web上ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’èªã‚ã°ã€ã–ã£ãã‚ŠOCamlãŒã©ã†ã„ã†è¨€èªžãªã®ã‹åˆ†ã‹ã‚‹ã‹ã¨æ€ã„ã¾ã™ã€‚次ã®äºŒã¤ãŒãŠå‹§ã‚ã§ã™ã€‚ http://www.ocaml-tutorial.org/jaObjective Caml 入門 一緒ã«OCamlをインストールã—ã¦ä½¿ã£ã¦ã¿ãªãŒã‚‰å¦ã¹ã°ã€ã‚ˆã‚ŠåŠ¹çŽ‡çš„ã§ã™ã€‚ $ sudo apt-get install ocaml; sudo apt-get install ocaml-mode lennyã®ãƒ‘ッケージã¯3.10ç³»ã§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ãŒä¸€ã¤å¤ã„ã®ã§ã€ã“ã ã‚る人ã¯Latest Objective Caml releaseã‹ã‚‰ã‚½ãƒ¼ã‚¹ã‚’å–ã£ã¦æ¥ã¦ã‚³ãƒ³ãƒ‘イルã—ã¦ä¸‹ã•ã„。./confi
OCamlを使ã£ãŸã‚·ã‚¹ãƒ†ãƒ 開発ã¾ã¨ã‚ - osiire’s blog
ã†ã¡ã®ä¼šç¤¾(有é™ä¼šç¤¾ITプランニング）ã§ã‚„ã£ã¦ããŸOCamlを使ã£ãŸã‚·ã‚¹ãƒ†ãƒ 開発ã®æ¦‚è¦ã‚’書ã„ã¦ãŠãã¾ã™ã€‚ãµã¨æ€ã†ã¨ä»Šã¾ã§ã¾ã¨ã‚ã¦å…¬é–‹ã—ãŸã“ã¨ã¯ãªã‹ã£ãŸãªã¨ã€‚別ã«éš ã™ç¨‹ã®ã‚‚ã®ã˜ã‚ƒãªã„ã—ã€ã‚‚ã—ã“ã‚Œã‹ã‚‰OCamlを使ã£ãŸãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã‚’始ã‚ã¦ã¿ãŸã„人ã®å‚考ã«ãªã‚Œã°å¬‰ã—ã„ã§ã™ã€‚ 2006å¹´ æŸè¨¼åˆ¸ä¼šç¤¾ã®Webサービスã®ä¸€éƒ¨ã‚’担当 æ ªä¾¡ã‚’è§£æžã—ã¦ã€ãã®çµæžœã‚’WebAPIã¨ã—ã¦æ供。OCaml + MySQL。HTTPベースã§æä¾›ã•ã‚Œã‚‹XMLファイルãŒç”Ÿãƒ‡ãƒ¼ã‚¿ã ã£ãŸã®ã§ã€ã“ã®æ™‚åˆã‚ã¦XMLã®ãƒ‘ースã«xml-lightを使ã£ãŸã€‚ã“ã‚Œã¯ã‹ãªã‚Šä¾¿åˆ©ã€‚ãã®å¾Œã‚‚使ã„続ã‘ã¦ã„る。nc(network cat)ライクãªãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚‚作ã£ãŸã€‚行列変æ›ã®ãŸã‚ã«C言語ã¨ã®é€£æºã‚‚ã—ãŸã‘ã©ã€ç‰¹ã«å•é¡Œãªã—。ãã†ã„ãˆã°ã€ã“ã®é ƒã¯marshalingãŒå¥½ãã§ã€DBã¸marshalingデータをãã®ã¾ã¾ä¿å˜ã—ã¦ã€ŒObjectデータベース
OCamlã§ä½œã‚‰ã‚Œã¦ã„る大ãã‚ã®ã‚¢ãƒ—リケーション - osiire’s blog
LexiFi 金èžå•†å“ã®é–‹ç™ºç’°å¢ƒã€‚ メイン言語ãŒOCaml。MLFiã¨ã„ã†å°‚用言語もOCamlã§ä½œã‚‰ã‚Œã¦ã„る。 http://www.lexifi.com/ http://www.lexifi.com/downloads/frisch_inria_2008-12-15.pdf XenServerã®ãƒ„ールスタック(xapi toolstack) 仮想化サーãƒãƒ¼Xenã®ãƒ„ール群。全部OCamlらã—ã„。 13万行 http://www.citrix.com/English/ps2/products/feature.asp?contentID=1686939 http://caml.inria.fr/pub/ml-archives/caml-list/2009/11/d80201600e5f91fbe48ce4856c034a71.en.html http://ocamlnews.blogspot
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
速攻MinCamlコンパイラ概説
速攻MinCamlコンパイラ概説
[PDF] OCaml Emacs Mode (Tuareg) June 27, 2011 — Copyright 2011 OCamlPro SAS
GitHub - technomancy/grenchman: Sorry about the name
{{#tags}}- {{label}}
{{/tags}}