Hit a type checking problem in Idris again: "Idris convinced that all cases are impossible, but also admits there are possible cases" https://github.com/idris-lang/Idris-dev/issues/4650 … Not sure if this is the same or different as what I hit before. :s
-
Show this thread
-
I was hoping that if I stepped carefully I wouldn't come across that again. Based on my current experience, and the list of issues I see on the GitHub account, it doesn't look like
@idrislang is very stable right now. Maybe I need to stop using it until 2.x comes out?@edwinbrady1 reply 0 retweets 0 likesShow this thread -
Might not be a bad thing to force me to learn some more Agda anyway. Not trying to be cynical or pushy. I'm just figuring that a LOT of energy is going toward Blodwen right now and is thus being drained off of 1.x.
2 replies 0 retweets 1 likeShow this thread -
Replying to @keithtpinson
Pretty much all of my hacking energy goes into Blodwen, yes, apart from what's needed on Idris 1 to help Blodwen. It's important to realise the whole thing is an experiment though, done by academics in research time.
1 reply 0 retweets 3 likes -
Replying to @edwinbrady @keithtpinson
Which in practice means that we do enough to test our ideas, and hope that our ideas are interesting enough that people with enough resources will one day steal them!
2 replies 0 retweets 2 likes -
Replying to @edwinbrady @keithtpinson
Having said that, I still pay attention to the issue tracker if only to make sure they're resolved as far as possible in Blodwen. And when that gets far enough to be able to compile itself, then we can really start having fun...
2 replies 0 retweets 1 like -
Replying to @edwinbrady @keithtpinson
For someone interested in contributing to Blodwen, what would be a starting point?
1 reply 0 retweets 0 likes -
Replying to @buggymcbugfix @keithtpinson
The source code :) More usefully, it really depends what you want to contribute. I'm most interested in things which work towards self hosting, so porting bits of support libraries would be really helpful. I have a lexer and parser library so far, which is a decent start.
1 reply 1 retweet 6 likes -
Replying to @edwinbrady @keithtpinson
Ok, I've got Blodwen building. I have some chicken issues (can't install `numbers`) but other than that things seem to be working. Which sort of support libraries are high on the priority list for porting?
1 reply 0 retweets 3 likes
You can probably ignore the chicken issues. Right now I don't have any urgent priorities because I'm trying some new (hopefully faster!) ways of implementing the core, but still I'd love readline support and networking libraries...
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.