pls someone, make Idris usable
@grainloom In terms of speed? Or libraries?
@pybyte both??? and memory usage???
@pybyte like, a Vect shouldn't eat up my RAM while typechecking
@grainloom I think the memory usage is tied into the long compile times.
@pybyte probably, but the mem usage is worse
long compile times i can wait out, but i can't do anything about memory besides shoving in more ram sticks, which i do not have, so i guess i can't do anything about it after all
(and no i don't wanna use swap)
@pybyte it sucks because i really like the language but every time i try to use it i run into RAM problems
so, waiting for that rewrite i guess
@grainloom Yeah, I really want to be able to use it for real work, but I've settled for the occasional small toy project for now. I might even try to help work on the memory issues once I know what I'm doing.
@grainloom I believe Edwin has said that comprehensively fixing the unreasonablly long compile times requires a major rewrite of some core code, so who knows when that will happen 🙁