One of the most interesting things I’ve been studying in the past year has been type theory. I feel that type theory is an area where a lot of separate fields can come together in a good design. In strongly typed languages, language implementation efficiency, syntax and language semantics all leave essential marks in the […]
Pages
-
Recent
Recent comments
- Covid-19 and time — Monomorphic on The year and decade in review. 2020s: orderly peace?
- Monomorphic - Photography on The inexhaustible wealth of appearance, information and specificity
- Johan on Technology and utilitarianism
- J C on Objective and subjective reality; perspectivism
- Rose Schnor on Technology and utilitarianism
Archive
Bioinformatics, software, CS
Friends
Japan
Philosophy
Swedish