Standard ML in 2020 | notes.eatonphil.com
Incredibly, Standard ML implementations are still actively developed. MLton, Poly/ML, MLKit, SML# and SML/NJ are the most prominent. Discussion on the future direction of Standard ML remains healthy as well. And somehow OCaml's lesser known cousin still beats out OCaml for multicore threading support (in Poly/ML). While MLton hasn't merged with MultiMLton or RTMLton to support multicore, a new for
self-hostingå¯èƒ½ãªmincamlコンパイラã¨ã„ã†å¤¢(ã¨ãã®é€²æ—) - 忖度
ã“ã®è¨˜äº‹ã¯ã€ adventar.org ã®5日目ã®è¨˜äº‹ã¨ã—ã¦æ›¸ã‹ã‚Œã¾ã—ãŸã€‚昨日ã¯moratorium08ã•ã‚“ã® moraprogramming.hateblo.jp ã§ã—ãŸã€‚コンパイラã®ç©´ã‚’ã¤ã„ãŸexploitã€ä»Šå¾Œã“ã†ã„ã†ã‚¸ãƒ£ãƒ³ãƒ«ã‚‚増ãˆã‚‹ã‚“ã§ã—ょã†ã‹ã€‚期待ã§ã™ã。 本題 8月ã«ã‚»ã‚ュリティã‚ャンプã«å‚åŠ ã—ã¾ã—ãŸã€‚ ãã“ã§ã€C言語セルフホスティングトラックã®äººãŸã¡ã¨è©±ã™æ©Ÿä¼šãŒã‚ã£ãŸã®ã§ã™ãŒã€ 「大å¦ã®æŽˆæ¥ã§mincamlã®ã‚³ãƒ³ãƒ‘イラを書ã„ãŸã‚“ã§ã™ã‚ˆã€ã¨ã„ã†ã¨ 「ãã®ã‚³ãƒ³ãƒ‘イラã¯ã‚»ãƒ«ãƒ•ãƒ›ã‚¹ãƒˆã§ãã‚‹ã‚“ã§ã™ã‹ï¼Ÿï¼Ÿï¼Ÿã€(ã“ã®è¾ºã¯å®Ÿéš›ã®ç™ºè¨€ã¨å·®ãŒã‚ã‚‹ã‹ã‚‚ã—ã‚Œãªã„) ã¨è¨€ã‚ã‚ŒãŸã®ã§ã€ãã‚“ãªã‚‰ã„ã£ã¡ã‚‡ã‚„ã£ãŸã‚‹ã‹ã€ã¨ã„ã†æ°—æŒã¡ã§è¶£å‘³ã®å®Ÿè£…を進ã‚ã¦ã„ã‚‹ã®ã§ã€ãã®ç´¹ä»‹ã‚’ã—ã¾ã™ã€‚ 実装ã¯ã“ã“ github.com ã§ç¾åœ¨é€²è¡Œå½¢ã§é€²ã‚ã¦ã„ã¾ã™ã€‚ mincamlã¨ã¯ OCamlã®æ•™è‚²çš„subsetã¿ãŸã„ãªã‚‚ã®ã§ã™ã€‚
OCamlãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«
ã“ã®ã‚¦ã‚§ãƒ–サイトã¯OCamlã‚’å¦ã¼ã†ã¨ã™ã‚‹äººãŸã¡ã®ç‚ºã®å®Ÿéš›çš„ã§è©³ç´°ãªãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’集ã‚ãŸã‚‚ã®ã§ã‚る。 よã知られã¦ã„る通りã€OCamlã¯ã‚¢ãƒ—リケーション開発ã®ãŸã‚ã®é«˜é€Ÿã€ç°¡æ½”ã‹ã¤å¼·åŠ›ãªè¨€èªžã§ã‚る。ã“ã“ã§ã¯èªè€…ãŒã™ã§ã«OCamlã®å‡¦ç†ç³»ã‚’インストールã—ã¦ã„ã‚‹ã‚‚ã®ã¨ä»®å®šã™ã‚‹ã€‚インストールã®æ–¹æ³•ã«ã¤ã„ã¦ã¯è‹±æ–‡ã§ã‚ã‚‹ãŒOCamlã®ãƒ¡ã‚¤ãƒ³ãƒšãƒ¼ã‚¸ã‚„OCaml Alianceã«ã‚ˆã‚‹è§£èª¬ã«èª¬æ˜Žã•ã‚Œã¦ã„る。ã¾ãŸDebianãã®ä»–ã®Linuxディストリビューションã€FreeBSDパッケージã«ã‚‚ãªã£ã¦ã„る。 原文(英語) 邦訳版ã«é–¢ã™ã‚‹ãƒ„ッコミãªã©
v - Note
インタプリタã¯æ¥½å‹ã§æ›¸ã‘ãŸã‚“ã§ã™ã‘ã©(一応仕様以外見ã¦ãªã„ã§ã™)ã€è‚心ã®grassコードを書ã‘ã‚‹æ°—ãŒå…¨ãã—ã¾ã›ã‚“。 WWwwwã§xãŒç”¨æ„ã§ãã¦ã€ãã“ã‹ã‚‰1インクリメントã™ã‚‹ã®ã«WWWw,WWWWw,WWWWWw...ã—ã‹ãªã„ã‚“ã˜ã‚ƒãªã„ã§ã—ょã†ã‹ã€‚ ãã‚‚ãもトップãŒ56ãƒã‚¤ãƒˆã£ã¦ã“ã¨ã¯ã€ã§ã™ã……3^56ãらã„ã€çœŸé¢ç›®ã«è€ƒãˆã‚‹ã‚ˆã‚Šå…¨æŽ¢ç´¢ã—ãŸã»ã†ãŒæ—©ã„ã‚“ã˜ã‚ƒãªã„ã§ã—ょã†ã‹ã€‚*1 *1:3^56 = 523347633027360537213511521多ã„ãªorz
æ•°ç†ç§‘å¦çš„ãƒã‚°æ’²æ»…方法論ã®ã™ã™ã‚---目次 | 日経 xTECH（クãƒã‚¹ãƒ†ãƒƒã‚¯ï¼‰
ç†è€… ä½äº• 英二郎 「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã€ã¨ã„ã†ç ”究分野ãŒã‚る。ã“ã®åˆ†é‡Žã®ç ”究者ãŸã¡ã¯ï¼Œã€ŒMLã€ã€ŒHaskellã€ã€ŒSchemeã€ã‚ã‚‹ã„ã¯ã€ŒÎ»è¨ˆç®—ã€ã€ŒÏ€è¨ˆç®—ã€ï¼ˆå††å‘¨çŽ‡è¨ˆç®—ã®ã“ã¨ã§ã¯ãªã„）ãªã©ï¼Œå¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ã¯èžã„ãŸã“ã¨ã‚‚ãªã„言語やモデルã«ã¤ã„ã¦ï¼Œæ—¥å¤œç ”究ã—ã¦ã„る。ãŸã ，ãã®ã‚ˆã†ãªè¨€èªžã¯ã€Œé›£ã—ã„ã€ã€Œå½¹ã«ç«‹ãŸãªã„ã€ãªã©ã¨æ€ã‚ã‚ŒãŒã¡ã 。 ã“ã®é€£è¼‰ã§ã¯ï¼Œã“ã†ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚„ソフトウエア科å¦ã®æ§˜ã€…ãªç ”究を，ã§ãã‚‹ã ã‘普通ã®ãƒ—ãƒã‚°ãƒ©ãƒžã‚„エンジニアã«ã‚‚ã‚ã‹ã‚Šã‚„ã™ã（ã©ã¡ã‚‰ã‹ã¨ã„ãˆã°ç†è«–よりも実用ã«é‡ç‚¹ã‚’ãŠã„ã¦ï¼‰ç´¹ä»‹ã—ã¦ã„ã。 æ›´æ–°ã¯æ¯Žæœˆç¬¬2水曜日（1月ã®ã¿ç¬¬3水曜日）
OCaml プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€
OCaml ã®ã™ã™ã‚ OCaml ã¨ã¯ãƒ•ãƒ©ãƒ³ã‚¹ã® æƒ…å ±æŠ€è¡“ç³»ã®ç ”究機関㮠INRIA ã§é–‹ç™ºã•ã‚Œã¦ã„る関数型言語 ML (ã®æ–¹è¨€) ã§ã™ã€‚ML ã«ã¯å¤šç›¸åž‹ã€åž‹æŽ¨è«–ã€ã‚¬ãƒ¼ãƒ™ãƒ¼ã‚¸ã‚³ãƒ¬ã‚¯ã‚·ãƒ§ãƒ³ (GC)ã€ ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®ãƒ‘ターンマッãƒãƒ³ã‚°ç‰ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã®ç ”究㮠æˆæžœ (ã™ã”ã最新ã®ã‚‚ã®ã¨è¨€ã†ã‚ã‘ã§ã¯ç„¡ã„ãã†ã§ã™ãŒ) ãŒè©°ã‚è¾¼ã¾ã‚Œ ã¦ã„ã¾ã™ã€‚ã“れらã®ç›®çš„・効用ã¯ã€ コードã®å†åˆ©ç”¨ã®ç¯„囲ãŒå¤§ãã„ (多相型) コードã®è¨˜è¿°é‡ãŒçŸã‹ããªã‚‹ (åž‹æŽ¨è«–ãƒ»ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®ãƒ‘ターンマッãƒãƒ³ã‚°) ãƒã‚°ã®å…¥ã‚Šè¾¼ã‚€ä½™åœ°ãŒå°‘ãªããªã‚‹ (GCã€é–¢æ•°çš„(副作用ã®å°‘ãªã„)プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°) ç‰ã§ã™ã€‚ç§ã¯ OCaml ã‚’ç ”ç©¶ã§ã®ãƒ‡ãƒ¼ã‚¿å‡¦ç†ã‚’ã¯ã˜ã‚ã€ä½œæˆã™ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒ ã»ã¨ã‚“ã© å…¨ã¦ã«ãŠã„ã¦æ—¥å¸¸çš„ã«ä½¿ã£ã¦ã„ã‚‹ã®ã§ã™ãŒã€ ã¨ã«ã‹ã開発効率ãŒè‰¯ã„ã§ã™ã€‚ コンパイル時ã®åž‹ãƒã‚§ãƒƒã‚¯ã®åŽ³ã—ã•ã«ã¯æ…£ã‚Œãªã„ã¨ã¡ã‚‡ã£ã¨é¢å€’ã«æ„Ÿã˜ã‚‹ ã‹ã‚‚ã—ã‚Œã¾
一年生（一般教養）å‘ã‘OCamlプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€ - sumiiã®ãƒ–ãƒã‚°
大å¦ã§å…¨å¦ï¼ˆä¸€èˆ¬æ•™é¤Šï¼‰ã®ä¸€å¹´ç”Ÿå‘ã‘少人数授æ¥ï¼ˆã¨ã„ã£ã¦ã‚‚20人ã§ã—ãŸãŒï¼‰ã‚’一回（90分×3コマ）ã ã‘担当ã—ãŸã®ã§ã€OCamlã§ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€ã‚’ã‚„ã£ã¦ã¿ã¾ã—ãŸã€‚「1 + 2ã€ã®è¨ˆç®—ã‹ã‚‰ã¯ã˜ã‚ã¦ã€ä¸€æ—¥ã§2Dグラフィックスã€ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°(HTTPã¨SMTP)ã€3Dグラフィックス(OpenGL)ã¾ã§ã‚„ã‚Šã¾ã—ãŸã€‚ …ã¨ã„ã†ã¨ç„¡èŒ¶ã«èžã“ãˆã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ãŒã€Cã¨ã‹Javaã¨ã‹ã§ã‚„るよりã¯ã€ãšã£ã¨ç°¡å˜ã ã£ãŸã¨æ€ã„ã¾ã™ã€‚æ出ã•ã‚ŒãŸãƒ¬ãƒãƒ¼ãƒˆèª²é¡Œã§ã‚‚ã€å¤šãã®äººãŒç°¡å˜ãªãƒ«ãƒ¼ãƒ—ã‚„å†å¸°ãらã„ã¯ã§ãã¦ã„ã¾ã—ãŸã€‚ã¡ã‚‡ã£ã¨è‘—作権上ã®å•é¡ŒãŒã‚ã‚‹ã‚ャラクター:-)ã®ã‚°ãƒ©ãƒ•ã‚£ãƒƒã‚¯ã‚¹ã‚‚ã‚ã‚‹ã®ã§ã€ä¸€èˆ¬å…¬é–‹ã§ããªãã¦æ®‹å¿µã§ã™ãŒã€‚ P.S. マニュアルを日本語訳ã—ã¦ãã ã•ã£ãŸocaml.jpã®çš†æ§˜ã«ã“ã®å ´ã‚’借りã¦æ„Ÿè¬ã—ã¾ã™ã€‚ 追記：類似教æã¨ã—ã¦ã€æ±å¤§æ•™é¤Šã€Œã¯ã„ã±ãƒ¼ãƒ¯ãƒ¼ã‚¯ãƒ–ック(HWB)ã€ã®ã€Œ17.4 プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
monjudoh’s diary
r.js RequireJS用ã®moduleをビルドã™ã‚‹éš›ã«ã¯r.jsを使ã„ã¾ã™ã€‚ build.js ã“ã®æ™‚ã«ãƒ“ルドè¨å®šã®è¨˜è¿°ã«ä½¿ç”¨ã™ã‚‹ã®ãŒbuild.jsã§ã“ã‚“ãªæ„Ÿã˜ã§æ›¸ãã¾ã™ã€‚ ç°¡å˜ãªä¾‹ã ã¨ã“ã‚“ãªã® ({ baseUrl:'./src', dir : './build', paths:{ jquery:"../lib/jquery-1.8.2", text:'../lib/plugins/text', underscore:'../lib/underscore-1.3.3' } }) å‹•çš„ãªbuild.js build.jsã¯JSONã§ã¯ãªãã¦JSã§ã™ã€‚ JSãªã®ã§å‡¦ç†ã‚’書ãã“ã¨ãŒå‡ºæ¥ã¾ã™ã€‚ 例ãˆã°é–¢æ•°ãã®å ´å®Ÿè¡Œã‚’å«ã‚€ä¸‹è¨˜ã®build.jsã¯ã€ä¸Šè¨˜ã®ã‚‚ã®ã¨åŒã˜è¨å®šã‚’表ã—ã¾ã™ã€‚ ({ baseUrl:'./src', dir : './build', paths:(function ()
æƒ…å ±ç§‘å¦å®Ÿé¨“I ML演習
担当 飯塚 大輔, 後藤 哲志, å‰ç”° ä¿Šè¡Œ (講義ã¯é£¯å¡šã¨å¾Œè—¤ãŒæ‹…当) 講義資料 第 1 回 - スライド (2007å¹´6月5日更新)(ODP) (PDF) | optional 課題 (PDF) 第 2 回 - スライド (2007å¹´6月12日更新)(ODP) (PDF) 第 3 回 - スライド (2007å¹´6月19日更新)(ODP) (PDF) | 課題 (PDF) 第 4 回 - スライド (2007å¹´7月10日更新)(ODP) (PDF) | 授æ¥ã§ä½¿ç”¨ã—ãŸã‚½ãƒ¼ã‚¹(tar.gz) (解å‡ã—ãŸã‚‚ã®) 第 5 回 - スライド (2007å¹´7月10日更新)(ODP) (PDF) | MiniMLã®å¼ã€ç’°å¢ƒã€å€¤ã€è©•ä¾¡è¦å‰‡ (PDF) | 授æ¥ã§ä½¿ç”¨ã—ãŸã‚½ãƒ¼ã‚¹(tar.gz) (解å‡ã—ãŸã‚‚ã®) 第 6 回 - スライド (2007å¹´7月10日更新)(ODP) (PDF) | 授æ¥ã§ä½¿ç”¨
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, a French research institute in computer science and applied mathematics, since 1985. The OCaml system is the main implemen
Glid: Grass/Let interpreter and decompiler - λx. x K S K ï¼ ã¯ã¦ãª
è‰è¨€èªžGrassãŒæµè¡Œã£ã¦ã„るよã†ãªã®ã§ï¼ŒGrassプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°æ”¯æ´ãƒ„ールGlidを公開ã—ã¾ã™ï¼Ž Objective Camlã§å®Ÿè£…ã•ã‚Œã¦ã„ã‚‹ã¨ã„ã†ç‚¹ã§ã¯YTã•ã‚“ã«å…ˆã‚’越ã•ã‚Œã¦ã—ã¾ã„ã¾ã—ãŸãŒï¼Œ より多ãã®æ©Ÿèƒ½ã‚’æä¾›ã—ã¦ã„ã¾ã™ï¼Ž ã¨ã„ã£ã¦ã‚‚，実装ã®åŠ¹çŽ‡ã¯ã‚ã¾ã‚Šã‚ˆããªã„ã®ã§ï¼Œé€Ÿã„Grass処ç†ç³»ãŒæ¬²ã—ã„ã ã‘ã®æ–¹ã«ã¯ã‚ã¾ã‚Šå½¹ã«ç«‹ã¡ã¾ã›ã‚“． Glidã¯ï¼Œç°¡å˜ã«ã„ã†ã¨è¨€èªžGrassã¨è¨€èªžLetã®é–“ã®åŒæ–¹å‘ã®ç¿»è¨³ãƒ„ールã§ã™ï¼Ž 言語Letã¯ï¼Œæ¬¡ã®æ–‡æ³•ã§ä¸Žãˆã‚‰ã‚Œã‚‹å˜ç´”ãªé–¢æ•°åž‹è¨€èªžã§Grassよりã¯æ¥½ã«ãƒ—ãƒã‚°ãƒ©ãƒ ãŒæ›¸ã‘ã¾ã™ï¼Ž Prog := Def* Def := let Var Var* = Exp Exp := Var | Exp Exp | let Var = Exp in Exp | Exp;Exp Var := In | Out | Succ | W | [_a-zA-Z0-9]+ 主ãªä½¿ç”¨ç›®çš„
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}