Conversation

This Tweet was deleted by the Tweet author. Learn more
By ‘have types’ I was lazily referring to ‘static types’. Does this provide static type checking? Seems like its more for low level codegen hints rather than domain modelling and programmer assistance.
1
Show replies