11:57:42
2023-08-13 09:41:50 特務機関NERV님의 게시물 UN_NERV@unnerv.jp
icon

【台風第7号実況・予報 2023年08月13日 09:41】
強い台風第7号(ラン)は、八丈島の南約380kmをゆっくりと北西に進んでいます。

Attach image
11:56:51
2023-08-13 10:00:12 Masaki Hara님의 게시물 qnighy@qnmd.info
icon

This account is not set to public on notestock.

11:14:05
2023-08-13 10:30:21 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io
icon

OCamlにも今CPythonで外すとか外さないとか議論になっているGILがあったんですが、10年近く続いたMulticore OCamlプロジェクトの成果をマージしたOCaml 5.0が2022年末にリリースされてGILがなくなりました。その結果、非同期IO・並列IOライブラリのEioや並列処理に適したデータ構造を提供するSaturn、ロックフリーSTMライブラリのKcasなど、色々な試みが活発に進められていて今アツいです。あと、OCaml 5.0は既存コードの性能をなるべく落とさずC FFIも壊さずに並列GCを実装したりしてて面白い。OCamlを始めるなら今!

11:13:26
2023-08-13 10:37:47 ぽんこつ 27L님의 게시물 ponkotuy@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

11:12:35
2023-08-13 10:47:08 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io
icon

OCamlはモジュールシステムの表現力が強すぎて型クラスのようなアドホック多相を型システムにそのままでは組み込めないという変わった制約があり、そもそもOCamlの型検査器は技術的負債ヤバスギと評判で名古屋大学のグループが頑張ってたりする。

11:11:41
2023-08-13 10:53:20 しーさいど님의 게시물 Seaside_Exp@misskey.io
icon

This account is not set to public on notestock.