Post

mcc
@dryad.technology

Okay I have NO idea who the "target audience" for this is, but I've finished another entry in my project to learn 25 new programming languages and "livetweet" the experience of writing a program in each of them. This time I did Idris, the language famous for being "Haskell, but harder". It went bad

mastodon.socialmcc (@mcc@mastodon.social)#BabelOfCode 2024 Week 11, Puzzle 17 Language: Idris PREV WEEK: https://mastodon.social/@mcc/114582208242623432 RULES: https://mastodon.social/@mcc/113676228091546556 PUZZLE TEXT: https://adventofcod...
mcc
@dryad.technology

The main problem I hit was— partially because of the freeform design of Idris, where types are just another sort of value and can be passed to functions and such— the error messages were universally useless. Whenever something wouldn't compile, all I knew was "something is wrong".

0 reposts13 likes

No replies yet.