Anoma in Elixir - Article feedback

Education
1

Please drop any comments, questions, or feedback here :smile: . Thank you to the authors @mariari @ArtemG

1 Like
2

looking forward to discuss this “after hours” in Zug

For example, if you are interested in functions, it matters whether you present id : Bool → Bool as lambda x → x or {{true, true}, {false, false}}. There is a reason why we don’t use set theory everywhere in mathematics. If you think of functions as something that takes things in and pops things out, the type-theoretic approach is probably easier to comprehend and work with.

technical nit

engines can request to spawn new engines, which is missing on the list

typographic nit / personal preference

  • id : Bool → Bool as lambda x → x or {{true, true}, {false, false}}
  • the identity on the Booleans as λ x. x or \{ (\top, \top), (\bot, \bot)\}
1 Like