トルコ南東部のシリア国境に近いガジアンテプ市付近で6日未明、マグニチュード（M）7.8の大きな地震があった。同日午後にも、近くでM7.5の揺れが起きた。トルコやシリアの当局によると、両国で確認された死者は8日までに計7800人を超えており、さらに増える見通し。
トルコ南東部で大きな地震、トルコとシリアで計7800人以上死亡 - BBCニュース
トルコ南東部のシリア国境に近いガジアンテプ市付近で6日未明、マグニチュード（M）7.8の大きな地震があった。同日午後にも、近くでM7.5の揺れが起きた。トルコやシリアの当局によると、両国で確認された死者は8日までに計7800人を超えており、さらに増える見通し。
小さいMLの型推論機を書いた
intro# 最近、五十嵐先生のプログラミング言語の基礎概念を読んでいました。コンパクトにlet多相までの知識がまとまっており非常に読みやすかったです。 OCamlの学習がてら実際に言語を実装してみようと思い、 筑波大学の講義資料を参考にさせていただきました。 環境構築・実装にあたってはいくらか大変だった部分があるのですがこれらは気が向いたら別途記事にします。 duneの使い方 OCamlでのテストの仕方 OCamlのCI環境の構築 on GitHub Actions OCamlでのパーサーコンビネータの作り方・使い方 Menhirやocamlyaccなどは意図的に使いませんでした 今回作ったもの自体はこちらにあります。watiko/minicaml 振り返り# さて、参考書では最終的にlet多相を有した言語としてPolyTypingML4というものを扱います。文法や型についての定義は以下
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - scandum/fluxsort: A fast branchless stable quicksort / mergesort hybrid that is highly adaptive.
