mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

HoldMyType

@xameer We don't have to consider only (almost) always-eager eval and (almost) always-lazy eval. ["Almost" since e.g. if/then is typically lazy in eager languages.] Another is default-eager-with-easily-available-lazy eval, or lazy-for-some-cases. I think it's not recognized enough that the separation of data generation and control that laziness allows is great for exploratory programming--important for some kinds of science. I want that to be easy, but I don't need or want laziness everywhere.

@xameer Clojure is mostly default-eager, but it's default-lazy for many sequence generation functions. That's good for the exploratory stuff I do, though the default laziness creates gotchas sometimes. Idris (Haskell cousin) is default eager, but creating lazy sequences is very easy. By contrast OCaml (more distant cousin) is eager, but lazy sequences are kind of a pain.