理学のプログラミング言語と工学のプログラミング言語
https://twitter.com/todesking/status/1572499321932894209
Rustだってオタクすぎるだろ!!! でもML系は理学のオタクでRustは工学のオタクって感じするな。
#トデスキング
この分類法いいなとおもｙ
おれも感覚的には次の感じがある
工学のプログラミング言語
C
JavaScript
/
TypeScript
Go
Rust
理学のプログラミング言語
OCaml
Haskell
定理証明系
Coq
Lean