Home Portfolio Blog

Archive: August 2023

「動的型つき」の言語を「型なし」と呼ぶのはおかしい，のか？

Twitter（現・X）でのこの種の定期イベントはそろそろやめにしないか

Tags: type system type theory Aug 19 2023

Articles are licensed under CC BY-SA 3.0 (unless explicitly mentioned)

Code examples are licensed under the Expat(MIT) license.

CC BY-SA 3.0

This site is powered by Flxble, and it's my own blog engine!