Recently, a preprint by Hall et al. was published: a comparison of keto and plant-based diets. The gist of it is that a low-fat plant-based diet is more satiating than keto; those eating an unlimited plant-based diet will eat less than those eating an unlimited keto diet.
I have seen "strict data structures, lazy functions" bandied about among Haskellers. This is bad advice. Preferable is "know what you are doing."
Compared with Rust, ATS provides better type safety at the boundaries; foreign functions and data structures can be used in a first-class way without sacrificing type safety.
ATS is known for its sophisticated type system, but it also has a template system that has been the focus of recent work. Rather than going into technical details or comparing templates to other forms of generic programming, I wanted to give an example.
Suppose we want to count the number of lines in a file. Rust has a crate that would seem to help us, namely, bytecount.
prev | next