Noam Lewis - The Blog

The Open-Source Libraries Powering Fresh Building Fresh would have been insanely hard if it weren't for these libraries.

The C programming language generally treats enums as integers (see “Appendix: For Language Lawyers” for reference).

TL;DR - check out elfs-clang-plugins, cool plugins for clang made at elastifile.

infernu uses row-type polymorphism to propagate read/write capabilities on record fields.

Here are two simple implementations of Damas-Hindley-Milner type inference.

A common pattern: def foo(): x = some value # but do we need this?

Time and time again, I see people using ‘var’ in the initialization part of a for loop.

In the past month, most of the work on infernu was to stabilize the type system, making decisions about some trade-offs.

Here’s a simple example of recursive types interacting badly with subtyping: T={ foo: T -> A} U={ foo: U -> B} Consider T <: U, therefore (T -> A) <: (U -> B) Which implies: U <: T So T <: U but also U <: T, which is true iff A <: B and B <: A.

Compared to other tools adding static types to JavaScript, Infernu’s main strengths are full type inference and strong type safety.

…is now me.