SML, OCaml, F#, ATSなどMLだと思われる言語のアドベントカレンダーです。
MLの定義はゆるゆるであなたがMLだと思ったものがMLです。
コンパイラや基礎理論から応用プログラミングの話まで気軽にどうぞ。
基本的なプログラミングに関する情報も大歓迎します!
去年のAdvent Calender:
http://qiita.com/advent-calendar/2014/ml
SUN | MON | TUE | WED | THU | FRI | SAT |
---|---|---|---|---|---|---|
1 pocketberserker | 2 no_maddo | 3 no_maddo | 4 | 5 | ||
6 blackenedgold | 7 dico_leque | 8 fetburner | 9 obj_magic | 10 pocketberserker | 11 obj_magic | 12 eldesh |
13 keita44_f4 | 14 fetburner | 15 blackenedgold | 16 ackey_65535 | 17 h_sakurai | 18 | 19 h_sakurai |
20 fetburner | 21 no_maddo | 22 autotaker1984 | 23 dico_leque | 24 | 25 Kiwamu Okabe |
- 12/1SmlSharpContribについてSmlSharpContribについて - pocketberserkerの爆走
- 12/2SML: 入門記事を書きましたSML: 入門記事を書きました - type t (* void *)
- 12/3OCaml: 中間言語をダンプするオプションたちOCaml: 中間言語をダンプするオプションたち - type t (* void *)
- 12/6SMLの何かを書くと思う。SML#でDBに接続 | κeenのHappy Hacκing Blog
- 12/7foldみぎひだりML - foldみぎひだり - Qiita
- 12/8手続き型言語OCaml手続き型言語OCaml - チラシの裏
- 12/9A GADT implementation of AVL treeA GADT implementation of AVL tree
- 12/10何か
- 12/11A type-safe Lisp's applyA type-safe Lisp's apply
- 12/12作成したZ3のSML#bindingライブラリの紹介z3sml リリース! - ::Eldesh a b = LEFT a | RIGHT b
- 12/13関数型プログラミングにおける再帰関数の考え方関数型プログラミングにおける再帰関数の考え方 - Qiita
- 12/14GADTを用いた二項ヒープの実装GADTを用いた二項ヒープの実装 - チラシの裏
- 12/15SML#でJITを作る軽い話でもSML#でJITコンパイラを作る軽い話 | κeenのHappy Hacκing Blog
- 12/16幽霊型トリック集(注:この記事を読むと幽霊に呪われます)【幽霊型トリック集】キェェ!幽霊型でバグを呪い殺すのじゃ!【呪術プログラミング】
- 12/17thihの解析に進捗がありますHaskell - thihの解析に進捗があります - Qiita
- 12/19Javaのサブセットコンパイラの作成OCaml - Javaのサブセットコンパイラの作成 - Qiita
- 12/20SMLでコンパイラを書いた話について書きますSMLでコンパイラを書いた - チラシの裏
- 12/21コンパイラ: min-camlをJVMバックエンドに移植した話コンパイラ: min-camlをJVMバックエンドに移植した話 - type t (* void *)
- 12/22OCamlの末尾再帰についてOCamlの末尾再帰について - autotaker's blog
- 12/23例外処理と末尾再帰(Re: OCamlの末尾再帰について)例外処理と末尾再帰(Re: OCamlの末尾再帰について) - Qiita
- 12/25ATS programing on ESP8266fpiot/esp8266-ats · GitHub