Rx.NETのCombineLatestオペレーターによってリアクティブグリッチ (一時的な非一貫性) が生じる例
続きを読む[F#][小ネタ] Unreachableアクティブパターン
matchのネストを減らす小ネタ
続きを読むリンクのための型エイリアス
ソースコード上にリンクを張るために型エイリアスを使うことがある
続きを読む可視性を使ってnever型もどきを作る
never型がない言語でも、可視性の制御を使うことでそれっぽいことができる。
続きを読む相互再帰関数の型推論で問題になったケース
ミローネ言語 (F# のサブセットである自作言語) の型推論が壊れている。 どういうケースで壊れているかを書いておく。
続きを読む値とストレージの区別
値と値を配置する場所(ストレージ)を区別することで有名な問題を簡単に説明できることを述べる。
続きを読む判別共用体が共通フィールドを持てたら嬉しい
シクシク素数列を F# でやってみた
F#でベンチマークをとる
[F#][小ネタ] レコードリテラルと型注釈
F# のレコードリテラルのちょっとした問題とちょっとした解決策。
続きを読む