Providence Salumu

Can you try with nix ? The following command builds fine with 8.10.6 on macos 10.15 (I haven't tried with M1 though) ` nix run github:smunix/monomer/macosx.gh-actions#tutorial `

What do you think of setting up the CI so that it pushes its latest artifacts to cachix@luctielen after each build? I suspect it would only do so once for...

I suspect an issue with the `nix` version in use by `GH actions`; don't merge for now.

Let bindings are allowed to shadow variables in the most functional of all FPs:  However, there's a subtle (known) bug in pattern bindings that you may want...

Don't let `do` notations or `let block` déclarations fool you, they're eventually rewritten as a series of nested `let` expressions. `do { a = 1; a = 2; print(a); }`...

Hobbes has no notion of `rebind`, so I'm not sure where you're pulling this from. The doc only mentions local variable introductions, which is what is happening here. My guess...

> > Hobbes has no notion of `rebind`, so I'm not sure where you're pulling this from. > > That's the problem, in C++/Java/Rust/Haskell, a `{}` defines a scope, `{...

> As for the [Local Variable](https://hobbes.readthedocs.io/en/latest/language/controlflow.html?highlight=local%20variable#local-variables) section in doc. It uses an `let` example, we understand whatever names defines in `let` are only valid till the end of `let .....

The following works in Haskell, and that's the simplest behavior for let that Hobbes is also implementing ```sh ghci> foo = \_ -> let a = 1 in let a...

If you are so concerned about the possibility for Java developers to get confused about the above, then the issue is that they don't understand the rewrite rules around let...