was idris designed by people who think haskell syntax isn't terse enough? i like it tho. probly time to learn me an idris.https://twitter.com/porglezomp/status/861677155478056962 …
-
-
Replying to @argumatronic
cassie Retweeted Edwin Brady
The invention is right here: https://twitter.com/edwinbrady/status/390972859117367296 … In the replies "But I'm more interested in making programs short and readable." so yes
cassie added,
1 reply 0 retweets 2 likes -
Replying to @porglezomp @argumatronic
That particular syntax was going way too far. What we ended up with was a nice compromise, though I still want direct style myself.
2 replies 0 retweets 3 likes -
Replying to @edwinbrady @porglezomp
yeah, I was just looking for it in my copy of TDD with Idris and couldn't find it :(
1 reply 0 retweets 1 like
Replying to @argumatronic @porglezomp
I seem to remember deciding to leave out !-notation because it didn’t add to the main point of the book. Might have been a mistake…
2:09 PM - 8 May 2017
0 replies
0 retweets
2 likes
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.