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 called after the main expression has started. This way the source follows the evaluation order avoiding an awkward jumping of reasoning when both functions and variables are mixed in the let clause.
-- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.