ML勉強会 #2 #ML_study
SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。
あなたがMLだと思ったものがMLです。
プログラミング言語の基礎理論から応用プログラミング、入門してみたなど 様々な発表を歓迎します!!!
続きを読む
立派プログラマ
@no_maddo
#ML_study なにげに8件も発表が集まって懇親会参加者も30人とMLユーザが沢山集まる良い会だと思ったので維持していきたいです、、、
2017-07-22 23:08:38
akabe
@ackey_65535
#ML_study 発表全部面白かった! 分野的にウケないのではと心配していたけど、OCaml で数値解析したい勢が結構いたみたいでよかったです。
2017-07-22 23:10:35
ねっけつ
@nekketsuuu
@yuchiki1000yen Go でのソートはこんな感じです。 golang.org/pkg/sort/ 昔こういう議論があった。 mattn.kaoriya.net/software/lang/… #ML_study
2017-07-22 23:18:29
立派プログラマ
@no_maddo
これ、最後に口走ったんですがocamlのfloat arrayはflatになってて、それは関数型言語としてはすごい事です。素直に実装するとCでいうdouble * []になっちゃいます。#ML_study
2017-07-22 23:45:27
でこれき
@dico_leque
そういえば何かアレしました: OCaml4.05.0の変更点 - OCaml.jp ocaml.jp/?OCaml4.05.0%E… #ML_study
2017-07-22 23:45:40
でこれき
@dico_leque
Array data types by lpw25 · Pull Request #616 · ocaml/ocaml github.com/ocaml/ocaml/pu… みたいな話もあるんです #ML_study
2017-07-23 00:02:51