the_unproven

↗ HN profile [ 71.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing…