[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

Stack effect type checking

3 2023-10-26 07:38

>>2
Yes, that is part of the problem. Does a type system have to forbid that, or what?

I tried real hard with that formatting. Still haven't mastered it.

22

VIP:

do not edit these

bbs.scm + MIT Scheme + SICP + Satori Mode