Banjo

52 thoughts
last posted Nov. 9, 2015, 7:13 p.m.

2 earlier thoughts

0

Contracts instead of types

Pros: Very powerful

Cons: Some checking must be left until runtime and it may not be so clear to a user what is guaranteed at compile time (or not)

49 later thoughts