Exercises
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)" class="pr-5" > Exercise Categories Lists Tail of a List Last Two Elements of a List N'th Element of a List Length of a List Reverse a List Palindrome Flatten a List Eliminate Duplicates Pack Consecutive Duplicates Run-Length Encoding Modified Run-Length Encoding
Real World OCaml ãŒå‡ºã¾ã—㟠- camlspotter’s blog
一昨年ã‹ã‚‰å°‘ã—ãšã¤æ›¸ã‹ã‚Œã¦ã„㟠OCaml プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æœ¬ã€ Real World OCaml (以下 RWO)ãŒã¤ã„ã« public beta ã«ãªã‚Šå…¬é–‹ã•ã‚Œã¾ã—ãŸã€‚ ( https://realworldocaml.org/beta1/en/html/ ) 版元㮠O'Reilly ã§ã¯ã“ã®ãƒ™ãƒ¼ã‚¿ç‰ˆã®çŠ¶æ…‹ã® e-book ㌠今ãªã‚‰å®‰ã手ã«å…¥ã‚Šã¾ã™ã€‚完全版ã«ã¯å¾Œã‹ã‚‰ç„¡æ–™ã§ã‚¢ã‚¯ã‚»ã‚¹ã§ãるよã†ã« ãªã‚‹ãã†ã§ã™ã€‚( http://shop.oreilly.com/product/0636920024743.do ) ï¼ï¼ï¼ï¼ï¼å®‰ãè²·ã„ãŸã„人㯠http://shop.oreilly.com/category/deals/early-release.do?code=WKERRLS をよãèªã‚“ã§ãï¼ï¼ï¼ï¼ï¼ ã“ã®æœ¬ã¯ã€ä»Šã¾ã§å¤–ã«ä¼ã‚ã‚Šã¥ã‚‰ã‹ã£ãŸ OCaml プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æœ€å‰ç·šã®ä¸€é¢ã‚’ ä¼
OCaml ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®åž‹ã‚’表示ã—ãŸã‚Šå®šç¾©ã«ã‚¸ãƒ£ãƒ³ãƒ—ã—ãŸã‚Šã™ã‚‹ Vim ã®ãƒ—ラグイン作ã£ãŸ - åçœã¯ã—ã¦ã‚‚後悔ã¯ã—ãªã„
ã“ã®è¨˜äº‹ã¯ Vim Advent Calendar 2012 ã® 185 日目ã®è¨˜äº‹ã§ã™ã€‚ 昨日㯠id:deris ã•ã‚“ã® Vimã§ã§ãる脱出系パズルゲームã§ã—ãŸã€‚ ã¯ã˜ã‚ã« OCaml ã¨ã„ã†é™çš„型付ã‘ã®é–¢æ•°åž‹è¨€èªžãŒã‚ã‚Šã¾ã™ã€‚åŒã˜ãé™çš„ãªåž‹ã‚’ã‚‚ã¤é–¢æ•°åž‹è¨€èªžã§ã‚ã‚‹ Haskell ã¨ã¯ç•°ãªã‚Šã€å‰¯ä½œç”¨ã‚’ã‚‚ã¤é–¢æ•°ã‚’定義ã—ãŸã‚Šç ´å£Šçš„ãªæ“作も行ã†ã“ã¨ãŒã§ãã¾ã™ã€‚ ã¨ã“ã‚ãŒã€OCaml 界隈ã§ã¯ã©ã†ã‚„ら Emacs ãŒãƒ‡ãƒ•ã‚¡ã‚¯ãƒˆã®ã‚¨ãƒ‡ã‚£ã‚¿ã‚‰ã—ãã€Vim ã§ã®é–‹ç™ºç’°å¢ƒã®æƒ…å ±ã¯éžå¸¸ã«å°‘ãªã„ã€ã¾ãŸã‚ã£ãŸã¨ã—ã‚‚æƒ…å ±ãŒå¤ããªã£ã¦ã„ã‚‹ã‚‚ã®ãŒå¤§åŠã¨ã„ã†ã®ãŒç¾çŠ¶ã§ã™ã€‚ å‚考 OCaml.jp > 開発環境 (追記：更新ã•ã‚ŒãŸã¿ãŸã„ã§ã™) ç§ã¯ Vim ã§ã‚‚ OCaml ã‚’ã‚„ã‚ŠãŸã„ã¨æ€ã„ã€ãƒ—ラグインを開発ã™ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚ OCamlSpotter (ocamlspot) ã«ã¤ã„㦠実ã¯ã€OCaml ã®ã‚½ãƒ¼ã‚¹ã‚³
OCaml.jp
ã“ã®ãƒšãƒ¼ã‚¸ã¯æœ€å¾Œã«æ›´æ–°ã•ã‚Œã¦ã‹ã‚‰1年以上経éŽã—ã¦ã„ã¾ã™ã€‚æƒ…å ±ãŒå¤ã„å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ã®ã§ã€ã”注æ„ãã ã•ã„。 OCaml（オã‚ャムルï¼ã‚ªãƒ¼ã‚ャムル）ã¯ã€INRIAï¼ˆãƒ•ãƒ©ãƒ³ã‚¹å›½ç«‹æƒ…å ±å¦è‡ªå‹•åˆ¶å¾¡ç ”究所）ã§é–‹ç™ºã•ã‚Œã¦ã„る関数型言語ã®ä¸€ç¨®ã§ã€æœ€æ–°ã®è¨€èªžç†è«–ã®æˆæžœãŒå–り入れられãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚ 型安全ãªé™çš„型システムを基盤ã«ã€ãƒã‚°ã®å°‘ãªã„é«˜ä¿¡é ¼ãªãƒ—ãƒã‚°ãƒ©ãƒ ãŒé–‹ç™ºã§ãã¾ã™ã€‚ オブジェクトã€åž‹æŽ¨è«–ã€ä»£æ•°çš„データ型ã€ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚·ã‚¹ãƒ†ãƒ ã€å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã€ç¬¬ä¸€ç´šãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã€GADTã¨ã„ã£ãŸæ§˜ã€…ãªæ©Ÿèƒ½ã‚’利用ã—ã¦ã€ã‚ˆã‚Šç°¡æ½”ã§æ•´ç†ã•ã‚ŒãŸã‚³ãƒ¼ãƒ‰ãŒè¨˜è¿°ã§ãã¾ã™ã€‚ x86, x86-64, ARM, PowerPCãªã©å¤šæ•°ã®ã‚¢ãƒ¼ã‚テクãƒãƒ£ã®ãƒã‚¤ãƒ†ã‚£ãƒ–コードを出力ã§ãるコンパイラをæŒã£ã¦ã„ã¾ã™ã€‚Android ã‚„ iOS å‘ã‘ã®ã‚¯ãƒã‚¹ã‚³ãƒ³ãƒ‘イルもå¯èƒ½ã§ã™ï¼ˆLinux 上ã§ã®ã‚¯ãƒã‚¹ã‚³ãƒ³ãƒ‘イル㯠opam-cross-a
æ•°ç†ç§‘å¦çš„ãƒã‚°æ’²æ»…方法論ã®ã™ã™ã‚---目次 | 日経 xTECH（クãƒã‚¹ãƒ†ãƒƒã‚¯ï¼‰
ç†è€… ä½äº• 英二郎 「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã€ã¨ã„ã†ç ”究分野ãŒã‚る。ã“ã®åˆ†é‡Žã®ç ”究者ãŸã¡ã¯ï¼Œã€ŒMLã€ã€ŒHaskellã€ã€ŒSchemeã€ã‚ã‚‹ã„ã¯ã€ŒÎ»è¨ˆç®—ã€ã€ŒÏ€è¨ˆç®—ã€ï¼ˆå††å‘¨çŽ‡è¨ˆç®—ã®ã“ã¨ã§ã¯ãªã„）ãªã©ï¼Œå¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ã¯èžã„ãŸã“ã¨ã‚‚ãªã„言語やモデルã«ã¤ã„ã¦ï¼Œæ—¥å¤œç ”究ã—ã¦ã„る。ãŸã ，ãã®ã‚ˆã†ãªè¨€èªžã¯ã€Œé›£ã—ã„ã€ã€Œå½¹ã«ç«‹ãŸãªã„ã€ãªã©ã¨æ€ã‚ã‚ŒãŒã¡ã 。 ã“ã®é€£è¼‰ã§ã¯ï¼Œã“ã†ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚„ソフトウエア科å¦ã®æ§˜ã€…ãªç ”究を，ã§ãã‚‹ã ã‘普通ã®ãƒ—ãƒã‚°ãƒ©ãƒžã‚„エンジニアã«ã‚‚ã‚ã‹ã‚Šã‚„ã™ã（ã©ã¡ã‚‰ã‹ã¨ã„ãˆã°ç†è«–よりも実用ã«é‡ç‚¹ã‚’ãŠã„ã¦ï¼‰ç´¹ä»‹ã—ã¦ã„ã。 æ›´æ–°ã¯æ¯Žæœˆç¬¬2水曜日（1月ã®ã¿ç¬¬3水曜日）
OCamlãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«
ã“ã®ã‚¦ã‚§ãƒ–サイトã¯OCamlã‚’å¦ã¼ã†ã¨ã™ã‚‹äººãŸã¡ã®ç‚ºã®å®Ÿéš›çš„ã§è©³ç´°ãªãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’集ã‚ãŸã‚‚ã®ã§ã‚る。 よã知られã¦ã„る通りã€OCamlã¯ã‚¢ãƒ—リケーション開発ã®ãŸã‚ã®é«˜é€Ÿã€ç°¡æ½”ã‹ã¤å¼·åŠ›ãªè¨€èªžã§ã‚る。ã“ã“ã§ã¯èªè€…ãŒã™ã§ã«OCamlã®å‡¦ç†ç³»ã‚’インストールã—ã¦ã„ã‚‹ã‚‚ã®ã¨ä»®å®šã™ã‚‹ã€‚インストールã®æ–¹æ³•ã«ã¤ã„ã¦ã¯è‹±æ–‡ã§ã‚ã‚‹ãŒOCamlã®ãƒ¡ã‚¤ãƒ³ãƒšãƒ¼ã‚¸ã‚„OCaml Alianceã«ã‚ˆã‚‹è§£èª¬ã«èª¬æ˜Žã•ã‚Œã¦ã„る。ã¾ãŸDebianãã®ä»–ã®Linuxディストリビューションã€FreeBSDパッケージã«ã‚‚ãªã£ã¦ã„る。 原文(英語) 邦訳版ã«é–¢ã™ã‚‹ãƒ„ッコミãªã©
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Objective Caml 入門
速攻MinCamlコンパイラ概説
Objective Caml 入門
http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4-02w/text/eopl003.html
Functional Programming (Winter Semester 2005)
https://www.kb.ecei.tohoku.ac.jp/~sumii/class/ocaml-easy-syntax.txt
{{#tags}}- {{label}}
{{/tags}}