1. 3
  1.  

  2. 2

    pretty cool, looks like Python with static types. one thing I don’t like is the mixing of test and code. I can imagine larger-scale codebases getting pretty damn huge and confusing, as a lot of the time the tests of my code are way longer than the implementation itself…

    1. 1

      I actually like having the tests inlined as they show how to use the function. I often find myself looking for test cases for a specific function which takes a lot of time. I also like having the contracts inlined in the function. But I agree that longer test cases and integration tests still need to be in separate files.