Comment on Idris, a language that will change the way you think about programming (2015)parentComments−Ace1710yOf course not. In my understanding, the article was about static type checking, though.−dllthomas10yIt is! That's what is so cool about it! Idris lets you write an append that will work for any X and Y chosen at runtime, but will check that the result must have length X + Y at compile time.
Comments
Of course not. In my understanding, the article was about static type checking, though.
It is! That's what is so cool about it! Idris lets you write an append that will work for any X and Y chosen at runtime, but will check that the result must have length X + Y at compile time.