@edwinbrady I'm replacing all your pattern matching by traverses and mapshttp://twitch.tv/andrevidela
-
-
Replying to @andre_videla
Fine by me, just be sure to measure performance afterwards! Build time of the library before and after is a good metric. Sometimes the ugly code is because I specialised by hand for performance. There should be comments in those cases, but since I'm a programmer, maybe not.
1 reply 0 retweets 1 like -
Replying to @edwinbrady
either we end up with tidier Inline.idr or with more documentation! :)
1 reply 0 retweets 0 likes -
Replying to @andre_videla
Oh, if that's where you're currently looking, it's almost certainly just ugly code...
1 reply 0 retweets 0 likes -
Replying to @edwinbrady
it's alright the goal is simply to show that the idris2 compiler isn't as scary as it seems :)
1 reply 0 retweets 0 likes
That is good, I have tried to make it not scary, although possibly to a fault in places...
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.