orange @[email protected]

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

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 日本語訳だとこうなってる:

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

で、もっとカジュアルに言うところの「型 (システム) が強い」というのは、基本的には「型検査によってより多くの制約や正しさを保証してほしい」くらいの意味。

たとえば go でどうしても interface {} を使う必要があるとかの場面だと、どのような型でも受け入れてしまうので、ある種の保証や正しさの検査が行えなくなる。
こういうのはたとえ静的型付きであってもカジュアルには「型システムが弱い」と形容したりする