Racket and Typed Racket: the power of extensibility

0 0

Typed Racket is a gradual type system for Racket, built entirely as a library. In this talk, I'll present why I wanted to build a gradual type system for Racket, and also how Racket made this possible. The story will cover macros, type checkers, compilers, and runtime systems, and demonstrate why we call Racket a "programmable programming language

PolyConf 15

PolyConf is a three-day, single track, multi-disciplinary conference on advanced technologies for programmers interested in polyglot approach to software development. PolyConf is not focused on an...