[ prog / sol / mona ]

prog


Stack effect type checking

7 2023-10-29 04:10

>>6
It needs to be accounted for by any attempt to make a concatenative language that has a type system, especially if the contents of the stack can be said to have types.

22


VIP:

do not edit these