Hi Marko, I honestly don’t know how many people are using coconut. Though with a little bit of configuring Python’s import functionality, it should have decent inter compatibility. Even without Coconut, I still find icontract’s plain Python lambda syntax readable and useful. James Lu

On Sep 27, 2018, at 9:32 PM, Marko Ristin-Kaufmann <marko.ristin@gmail.com> wrote:

Hi James,

It would be super useful, particularly because lambdas can be written more succinctly. You would suggest to write programs in coconut rather than python? How many people are actually using it?

...

On Thu, 27 Sep 2018 at 22:55, James Lu <jamtlu@gmail.com> wrote: The language is a superset of Python that transpiles to Python. Let me know if you think its syntax would be useful for contracts.

Sent from my iPhone