Dependent Javascript (DJS): Statically typed JS from Mozilla and UCSDlambda-the-ultimate.org2 points·mappu··0 commentsOpen articleSaveView on HN