ML Day#2 (2018/09/16 13:00〜)
ML Day (ML勉強会） SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。 あなたがMLだと思ったものがMLです。 プログラミング言語の基礎理論から応用プログラミング、入門してみたなど 様々な発表を歓迎します！！！ また、最近関数型言語に関する勉強会があまり見られないので、MLの人に通じそうなネタ（Haskell、定理証明、それっぽい数学）等に関する発表も歓迎します！！！ その際には前提知識としてMLプログラムがわかる人ならわかるくらいの内容でおねがいします。 注意 運営側で発表の難易度は調整しないので分からないこともあるかもしれないと思って来て下さい ML=Meta LanguageですMailing ListでもMachine Learningでもないです 発表者募集 発表者を先着で募集中です。 発表される方はコメントに発表タイトルを書き
なぜ次に学ぶ言語は関数型であるべきか - YAMAGUCHI::weblog
はじめに こんにちは、Python界の情弱です。ちょっと前にOCaml系のエントリを色々と眺めていたらYaron Minsky氏のエントリを見つけたので翻訳してみました。 OCaml for the Masses - ACM Queue Yaron Minsky氏はJane Streetで第一線で活躍されるエンジニアで、Jane Streetの技術ページをはじめ多くの場所でOCamlに関しての知見を語ってくださっています。 Jane Street Tech Blogs 本エントリはJohn Hughesの名エントリ「なぜ関数プログラミングは重要か」を受けてACM Queueに寄稿されたものの日本語訳です。 なぜ関数プログラミングは重要か Why the next language you learn should be functional YARON MINSKY, JANE STREE
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OCaml Meeting Tokyo 2009ではLightning Talkを募集中です！ - osiire’s blog
