Hacker News new | ask | show | jobs
by dietr1ch 588 days ago
Brady has a presentation about Idris where he shows Type-Driven development (where you write code that could typecheck with some holes and you get the compiler to help you figure out the missing types for your "whatever/something" untyped variables)

https://youtu.be/X36ye-1x_HQ?t=5m15s
1 comments
LandR 588 days ago
This is awesome, but I find that syntax so hard to follow, but that's just me being unfamiliar with it I guess.
link
dietr1ch 588 days ago
It happens, but all syntax families eventually become familiar, even on LISP you eventually stop worrying about the parentheses as you learn how to grok the code.
link