I really like ATS as a proof-of-concept, and as a way to avoid falsehoods like ‘low level == unsafe’, ‘safe != fast’, ‘C/C++ is the only way to do X’, etc. It’s a bit too verbose and fiddly for me (I’ve been spoiled by high level, garbage collected languages like Agda, Idris, etc.) but it’s nice to see people (other than its author) playing with it, since that’s the only way to find and smooth-over the rough edges (like with the atspkg tool described in this article!)
Worth looking at the line count dependency and/or how coreutils actually counts lines if youre like me of the past and just assume you loop over bytes counting \n.
I really like ATS as a proof-of-concept, and as a way to avoid falsehoods like ‘low level == unsafe’, ‘safe != fast’, ‘C/C++ is the only way to do X’, etc. It’s a bit too verbose and fiddly for me (I’ve been spoiled by high level, garbage collected languages like Agda, Idris, etc.) but it’s nice to see people (other than its author) playing with it, since that’s the only way to find and smooth-over the rough edges (like with the
atspkgtool described in this article!)Worth looking at the line count dependency and/or how coreutils actually counts lines if youre like me of the past and just assume you loop over bytes counting \n.