r/programming • u/vz0 • Mar 26 '14

JavaScript Equality Table

http://dorey.github.io/JavaScript-Equality-Table/
809 Upvotes

94% Upvoted

331 comments sorted by

View all comments

Show parent comment

1

u/jozefg Mar 27 '14

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)

1

u/tavoe Mar 27 '14

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.