orange @[email protected]

何かが暴走してメモリを食い尽くすにしてもメモリ 32 GB だと殺されるまでに時間かかりそう……

なんかめっちゃ PC が重くなって操作不能なんだが原因がわからん、こわいぞ

そういえばジョイフル本田の千葉ニュー店には傾斜式エスカレーターだか水平式忘れたけどあったな

https://mstdn.maud.io/@kb10uy/102473310257911903

こういう場合なら、後続の write!(output, ...) する部分を別の関数とかにして、そっちの型パラメータとして W: Write みたいな型で受け取ってやるというのが良いかと

文脈はこれで、ようはstdoutとファイル出力を一括で扱いたい(

そういえばここの実装本当にこれでいいのか地味に悩んでるのでRustに自信ニキの助言がほしい
https://github.com/kb10uy/ongeki-data/blob/master/src/bin/emit-skk-dictionary.rs#L62-L66

この定義のあとに補足があるのでそっちも読んでねというお気持ちです (プログラムについての文脈ではこういう定義になるけど、型システムという概念は論理学とか数学とかもっと広い分野で使われる概念だよ〜的なことが書いてあり)

放送大学

放送大学

コンピュータサイエンスが学べるいい大学ないですか

TaPL 日本語訳だとこうなってる:

> 型システムとは、プログラムの各部分を、それが計算する値の種類に沿って分類することにより、プログラムがある種の振る舞いを起こさないことを保証する、計算量的に扱いやすい構文的手法である。