きゃれっと

typing under the influence, usually in OCaml

[Jun Furuse @camlspotter]

OCaml Meeting 2026 in Tokyo、8/22 です。よろしくお願いいたします:
https://t.co/D4G89MhHDT

[きゃれっと @mt_caret]

SMLでHKTとなるとLightweight higher-kinded polymorphismの話なのかな #λ_Kansai

[きゃれっと @mt_caret]

ビール美味しい😋！ #λ_Kansai

[きゃれっと @mt_caret]

きました！ #λ_Kansai

[きゃれっと @mt_caret]

形式手法始めました！

[Yaron (Ron) Minsky @yminsky]

Our goals here are ambitious! Our hope is to make formal methods as pervasively useful of a tool for building software as sophisticated type systems are for us today.

https://t.co/pazSGvASoQ

[Yaron (Ron) Minsky @yminsky]

Our goals here are ambitious! Our hope is to make formal methods as pervasively useful of a tool for building software as sophisticated type systems are for us today.

https://t.co/pazSGvASoQ

[たかいと @takaito0423]

Kaggleで開催されたJane Streetのコンペは，銀圏の順位でも連絡が来ていたので，機会があったら狙ってみても良いかもしれないです！
このコンペの上位層は時系列データを得意とするKagglerが名を連ねていることからわかる通り，良く設計されたコンペでした．
https://t.co/fJaw2MtcKp

[OCaml.jp @ocamljp]

OCamlに関する趣味プログラミングをするためのもくもく会兼OCaml開発に関する質問・雑談用Office hoursみたいなのを開催しようと思います。 ⁠毎週土曜日の12:00-17:00 JSTの間にDiscordのボイチャに繋いで作業をしているので、気軽にご参加ください〜
#OCamlもくもく会

[yuki @lmdexpr]

乗るしかない、このビッグウェーブに
入門してみた LT とかいいと思います（私が聴きたい）

[きゃれっと @mt_caret]

OCaml Meeting 2026 in Tokyo に参加を申し込みました！ https://t.co/huxpMFK2KC #OCamlMeeting

[OCaml.jp @ocamljp]

この度、OCaml Meeting 2026 in Tokyo を開催することとなりました🎉
実に 13 年ぶりの開催となり、スタッフもワクワクしています！

2026/08/22(土) 開催予定です🗓️
どなたでも大歓迎ですので、ぜひ皆様ご参加ください🙇

詳細・お申し込みはこちらから → https://t.co/aeopEZkVdJ #OCamlMeeting

[きゃれっと @mt_caret]

やります〜！

[OCaml.jp @ocamljp]

この度、OCaml Meeting 2026 in Tokyo を開催することとなりました🎉
実に 13 年ぶりの開催となり、スタッフもワクワクしています！

2026/08/22(土) 開催予定です🗓️
どなたでも大歓迎ですので、ぜひ皆様ご参加ください🙇

詳細・お申し込みはこちらから → https://t.co/aeopEZkVdJ #OCamlMeeting

[Sora Morimoto @smorimoto]

https://t.co/Khx2J9yKUc

[Sora Morimoto @smorimoto]

今までもOCaml日本語Slackはあったんですが、無償版だとログが蒸発してしまうのが難点でした。そこで@mt_caret が新たに「OCaml日本語Discord」を立ち上げてくれました。OCamlにご興味のある方、ぜひご参加ください！
https://t.co/th6Gg0IbrZ

[こまもか🦊 @Comamoca_]

https://t.co/Gj89kEKJ1Mのここ思想強くて良い

[きゃれっと @mt_caret]

@FunOCaml Hi! I just noticed that the link here seems inaccessible. Is this expected?

[きゃれっと @mt_caret]

関西に遊びに行くぞ

[きゃれっと @mt_caret]

λ Kansai in Summer 2026 に参加を申し込みました！ https://t.co/Kf6X5YTGL7 #λ_Kansai

[きゃれっと @mt_caret]

そこで... OxCaml

[mizchi @mizchi]

Rust は間違いなくいい言語なんだけど、WebやGUIのアプリケーション層に適応すると「真面目に書くには確かにそうなんだが別に俺が気をつけて書きたいレイヤーはそこじゃない」という気持ちになり、注意資源が「アプリケーション」ではなく「システム」に持っていかれる、という感覚伝わりますか