What if instead of trying to type existing JS code, like TypeScript, we made objects of a new typed language completely separate from JS obj...

I've always felt that Scheme does data and types wrong, but I couldn't really say what bothered me until yesterday. After all, R7RS ...

Makes me wish I understood category theory: Foundations for Structured Programming with GADTs ( neelk's LtU post ) by Patricia Johann ...

This dependent typing thing has me. For the first time in years I find I'm actually learning something about programming. There is life...

Since discovering Ωmega , I've been drawn into the fantastic world of dependent typing. Dependent types allow the expression of static i...

Of course, once you investigate higher-order types, you begin to think about unifying the type and term levels. Reading a bit about this I f...

In the process of formalizing generics for my Lisp, I'm also studying FGJ ω again, the extension of Featherweight Generic Java with hi...

In the previous post, Minimal generics for an untyped language , I've discussed some basic requirements for the implementation of parame...

So, I'm developing a Lisp, which means I have to support untyped, dynamically type-checked code in any case. But I still like typeful pr...

It's important to realize that different kinds of polymorphism in type systems can be quite orthogonal. Here are some forms of polymorph...

I believe the preferable solution is typeclasses as record types, instances as records, scoped implicit parameters for propagating them arou...

Cardelli and Wegner's On Understanding Types, Data Abstraction, and Polymorphism from 1985 is a treat . No wonder it has more than 2000...

Dave Herman's much-awaited dissertation is out ! Hygienic macro expansion is one of the crown jewels of Scheme, but to this day nobody u...

While Bracha does nothing but diss type systems in his talk on Newspeak , he's actually working on optional type systems (see Gilad is R...

ATS rocks the shootout , and now grandmaster Chris Double shows how to achieve remarkable feats using its (dependent and linear) type syste...

I'm starting to dig type systems, which I have ignored for years. I'm still not able to make it through a single page of TAPL in one...

In the past days I've studied type systems for OOP, with an eye towards making them work in a Lisp. Cecil and its successor Diesel alr...

On LtU , Anton van Straaten repeatedly and vehemently made the point that users of dynamically type-checked languages don't program with...