3 ms·
The closest examples I can thing of to these, in sequence: - Idris (dependent types rather than contracts, but squint and the UX is the same) - Python's decora
by zeckalpha 4y ago
The closest examples I can thing of to these, in sequence:
- Idris (dependent types rather than contracts, but squint and the UX is the same)
- Python's decorators enable some of this, but Aspect oriented programming may also be what they are looking for. Boomerang is totally different but also an exploration in this space.
- Io, or even JavaScript fit this description
- there's a calculator like this I am forgetting the name of at the moment
- this looks like Dependent typing to me, see Idris above
- hwayne 4y agoLiquid Haskell is much closer to contracts than Idris, if you haven't heard of that already. I'm interesting in exploring contracts independently of types, though.
- zeckalpha 4y agoI have, but Idris feels much more like a dynamically typed language. Just pretend they are saying contract when they say type.