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

めっちゃ雑な説明をするけど。
前提として、強い型付けというのは型検査によって型エラーが実行前に阻止されるような型付け。逆に弱い型付けは実行時に型エラーが発生する。
つまり前者の方が型による安全性の保証 (エラーやバグの阻止) が強力。

そもそも型が弱いの意味を理解できてない

ダンボールでBEAを作ったら本家BEAに寄贈することになった - ニコニコ動画
https://www.nicovideo.jp/watch/sm35425728