News for hackers. Stuff that matters.

A comment on Idris: A Language for Type-Driven Development. Parent comment

Re:Idris: A Language for Type-Driven Development by ddejohn on Friday January 20, 2023 @11:01PM (#34463750)
To be honest, boilerplate is where I think I'd appreciate code generation the most.
[ Parent | on HN ]
Re:Idris: A Language for Type-Driven Development by mcphage on Saturday January 21, 2023 @03:34PM (#34470191)
That makes sense, but it also seems like a “the cause of, and solution to, all of life’s problems” sort of situation.
[ Parent | on HN ]