Yeah this only really applies to Algol style imperative languages. Dependent types and say stack languages like idris and apl are dramatically different in their underlying axioms.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies:
