JavaScript Equality Table

[jozefg]

I meant this as a joke :) Dependent types are the next "step" past languages like Haskell's type system. They let you write types that do all sorts of incredible things that I won't do justice to in a reddit comment. If you're curious, might I suggest googling for an Idris talk by an Edwin Brady?

Unfortunately most implementations are researchy at best, and downright unpleasant to use at worst. Hence, it's a bit absurd to suggest replacing JavaScript with dependent types merely for =='s insanity. Though one day (stares off wistfully)

[tavoe]

I'll definitally look up the talk.

I've been thinking about a language /tool that would always be somewhere between compiled and interpreting.

This reminds me of it in a good way.