Idris, because type driven development sounds promising when it comes to the "if it compiles, it's correct" holy grail. I just hope it has practical applications in various types of software, not just formal protocol definitions and things like that.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Idris, because type driven development sounds promising when it comes to the "if it compiles, it's correct" holy grail. I just hope it has practical applications in various types of software, not just formal protocol definitions and things like that.