I imagine that Edwin Brady uses a huge Gaming(TM) laptop for his Idris development because he also uses Atom for Blodwen development AFAIK and I can't imagine anyone having that much RAM

or he's just very patient

Follow

@grainloom this is the first I'm hearing of Blodwen... is there any information about why it's not just an update to idris?

@lizardsquid it's a rewrite of it, the TLDR is that there are a lot of fundamental problems with how Idris was first implemented and it was time for a rewrite
performance is also a problem in current Idris, even working with large Nats is reported to be super slow, sometimes impossibly so, so that's also something that needed a rewrite

@lizardsquid if you look at the bugs on the Idris-dev github that are tagged as critical, most of them end with a comment like "yup, this sucks but would be hard to fix in current Idris, gotta rewrite it to fix this"

Sign in to participate in the conversation
Computer Fairies

Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!