In Idris the let is used for local variables while the where is for local
functions. This strikes me as a very nice solution for a functional strict
language. It separates the strict expressions that must be calculated before
the main expressions from function helpers that may or may not be
Hi Igor,
my understanding is that `where` has not been implemented and will not be
implemented to 1) keep the syntax lean and 2) ensure a consistent coding
style.
I don't think Elm should have a `where` clause.
Coming from Haskell and physics, I instinctively liked the `where` syntax
better,
