News for hackers. Stuff that matters.

A comment on Just-In-Time Static Type Checking for Dynamic Languages. Parent comment

Re:Just-In-Time Static Type Checking for Dynamic Languages by lispm on Wednesday April 20, 2016 @04:24AM (#11532989)
A compiler with some compile time type checking has been implemented starting around 1985. That's the public domain CMUCL compiler (named Python) by Robert MacLachlan.

See 'Types in Python' from the manual:

https://common-lisp.net/project/cmucl/doc/cmu-user/compiler....

A variant of that compiler is used in the now popular SBCL implementation:

http://www.sbcl.org/manual/index.html#Handling-of-Types

[ Parent | on HN ]

There are no comments on this comment yet.