Weirdest bugever in my idris code: an interface contains a method with a default implementation (among others), an implementation makes the default method failed (typecheck error). Me:pic.twitter.com/HuSxrfG3i0
-
Show this thread
-
Implicit parameters... Fuck you.
1 reply 0 retweets 1 likeShow this thread -
So, the parameter orders matter. And I need to explicit some types. I wonder if DT haskell wouldn't be a bit less painful (even though I will need OverlappingInstances)
1 reply 0 retweets 0 likesShow this thread -
I needed to do this: bar {a} = foo {- some stuff -} {a} And I don't know why. And it hurts. And I feel dirty.
1 reply 0 retweets 0 likesShow this thread -
Considering moving to JavaScript.
1 reply 0 retweets 1 likeShow this thread -
And I needed to write down so many types because I broke type inferences that it feels like writing Scala.
2 replies 0 retweets 0 likesShow this thread -
Replying to @BeRewt
I'm wondering what on earth you're up to with this... and if it's something that'll work better in the new thing...
2 replies 0 retweets 0 likes -
Replying to @edwinbrady
Do you think I can already try my abominations on Blodwen?
1 reply 0 retweets 1 like -
Replying to @BeRewt
I suppose it's possible but I haven't done anything about error messages yet so if it doesn't work it might be a bit of a mystery...
1 reply 0 retweets 1 like -
Replying to @edwinbrady
Well. Can’t find implementation for class Foo a b c wasn’t helping anyway ;-)
1 reply 0 retweets 0 likes
Ah well then :). Blodwen gives its errors in the core language at the moment. There might also be a few bits of high level syntax missing. But it might be worth playing around with it.
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.