Oct, 2023 OCaml Weekly News の感想
lmdexprOCaml Weekly News, for the week of September 26 to October 03, 2023.
An update from the ocaml-wasm organization
Interesting OCaml Articles
Batteries v3.7.1
uri.4.4.0
Outreachy December 2023
queenshead: a British pub name generator
OCaml behind the scenes: Exception
A memory-polymorphic, polyglot implementation of SplDoublyLinkedList (as transpiled by Pholyglot 0.2-betachicken)
Packages for making proof assistants
An update from the ocaml-wasm organization
wasm が使えるようになるとデカいよな
確か GC が課題で止まってたけど、wasm の方で GC 拡張がいよいよ動き始めたから（stage4 ?）こっちもいけそうって感じなんだったか
OCaml 的には wasocaml と wasm_of_ocaml があるのかな
前者は flambda-based backend で native、後者は js_of_ocaml のフォークになってるっぽい
Interesting OCaml Articles
これが面白いらしい
DOS で動く軽量コンパイラについて？
いいね
Batteries v3.7.1
Batteries って普通にメンテされてるんだな
5.1.0 サポートもしているとか
はやい
uri.4.4.0
特に言うことなし
Outreachy December 2023
Outreachy って結局未踏みたいなものって認識でいいんだろうか
面白そうな話はちょくちょく見る
queenshead: a British pub name generator
British pubs の名前生成機！？
そんなニッチな
でも TRPG とかで役立ちそう
OCaml behind the scenes: Exception
例外に関する資料
A memory-polymorphic, polyglot implementation of SplDoublyLinkedList (as transpiled by Pholyglot 0.2-betachicken)
polyglot (複数言語で解釈できるスクリプト) で SplDoublyLinkedList を実装した話
PHP と C と OCaml
Packages for making proof assistants
面白そう
追っかけようかな
asai に yuujinchou に mugen と良いネーミングセンス
でも、絶対夏目友人帳好きだよね
というか、asai のドキュメント見たら、こっちはサクラダリセットかｗ
日本人が作ってるって訳ではないみたい
lmdexprOCaml Weekly News, for the week of October 03 to 10, 2023.
Interesting OCaml Articles
bindings to the PARI algebra library
OCaml compiler project/contribution ideas
Ppxlib 0.31.0
dune 3.11.0
Arrakis: A new RISC-V simulator
Web Analytics on OCaml.org
A Roadmap for the OCaml Platform - Seeking Your Feedback
producer 0.2.0
Call for Contributions: BOB 2024, Berlin [March 15, Deadline Nov 17]
A little article about Miou
Interesting OCaml Articles
pattern matching 最高！
bindings to the PARI algebra library
PARI という整数論を高速に扱うライブラリの bindings
OCaml compiler project/contribution ideas
コントリビューションのための入門的なタスク
やってみたい
時間ない
Ppxlib 0.31.0
OCaml 5.1.0 サポートの bugfix
dune 3.11.0
dune monitor気になる
あとは%{bin:program}も便利そう？
Arrakis: A new RISC-V simulator
RISC-V simulator 面白そう
コード読もうかな
Web Analytics on OCaml.org
Cookie 使ってないんだ！
（Cookie の何が悪いかもあまり分かってはいないけど、まあ、攻撃されうるといえばそうなのでって辺り？
これは面白い
A Roadmap for the OCaml Platform - Seeking Your Feedback
OCaml Platform について
結局、この project のこと、あまり分かってないけど opam / dune / lsp を推進するのはいけいけどんどんという気持ち
（merlin は vim の対応が微妙なので……
producer 0.2.0
全然知らない
モナドの依存グラフを作る？
サンプルを見る限り面白そうではあるが、モチベーションはあまり分からず
Call for Contributions: BOB 2024, Berlin [March 15, Deadline Nov 17]
ほーん
A little article about Miou
前回？辺りに見かけたやつだ
助かる
書くだけ書いて投稿していませんでした
lmdexprOCaml Weekly News, for the week of October 10 to 17, 2023.
Hiring Functional Software Engineers (OCaml or Haskell) in Paris, France!
OCaml Hacking Day at Tarides Chennai
qcheck-lin and qcheck-stm 0.2
dune 3.11.0
runtime_events_tools 0.5.0
Gospel 0.2.0
Talk about declarative rhythm-machines with Fry and FRP @ Copenhagen
Deprecating ocaml-migrate-parsetree in favor of Ppxlib, also as a Platform tool
Hiring Functional Software Engineers (OCaml or Haskell) in Paris, France!
パリには仕事がある定期
OCaml Hacking Day at Tarides Chennai
もうとっくに終わってるけど、こういうのも出てみたいなあ
まあ、気軽には行けないですけど
qcheck-lin and qcheck-stm 0.2
マルチコア用のテストライブラリ？
これは良さそう
dune 3.11.0
先月もあった気がするけどアプデかな？
runtime_events_tools 0.5.0
パフォーマンス測定とかできるっぽい
エコシステムが弱いとかもう言わせない感じで、今月アツいかも
Gospel 0.2.0
契約プログラミング的なやつか
良さそう
使ってみたい
Talk about declarative rhythm-machines with Fry and FRP @ Copenhagen
FRP って久々に聞いた気がする
sample 見た感じだとどうなんだろう、使いやすいのかな
使ってみないと分からない
Deprecating ocaml-migrate-parsetree in favor of Ppxlib, also as a Platform tool
omp というのがあり、deprecate にしようとしているらしい
なんとなく何かの依存で omp という文字列は見た気もするがというところ