| ▲ | jiehong 7 hours ago | ||||||||||||||||||||||||||||||||||
Is there a static type system included/inferred? Couldn’t not find the answer | |||||||||||||||||||||||||||||||||||
| ▲ | pxc 6 hours ago | parent | next [-] | ||||||||||||||||||||||||||||||||||
As a dialect of Clojure, it's a dynamically typed language. But its designer has expressed interest in eventually adding static type checks via a gradual typing system¹: > I mentioned that a native Clojure is the first step toward my dream language. Indeed, it doesn't stop there. jank will always be a Clojure dialect, but it will also optionally support more. Features like gradual typing (maybe linear typing), more explicit memory management, value-based errors, and stronger pattern matching, to name a few, improve upon Clojure. This will allow another axis of control, where some parts of the program can remain entirely dynamic and garbage collected while others are thoroughly controlled and better optimized. That’s exactly the control I want when programming. -- | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
| ▲ | Jeaye 6 hours ago | parent | prev | next [-] | ||||||||||||||||||||||||||||||||||
No full-lang static type system. jank has seamless C++ interop and all interop is statically typed, but as soon as things get back into Clojure land, it's all dynamically typed and hella polymorphic. I will be exploring optional static typing modes for jank in the future, a la Carp. That will not be this year, though. | |||||||||||||||||||||||||||||||||||
| ▲ | gleenn 6 hours ago | parent | prev [-] | ||||||||||||||||||||||||||||||||||
It is implementing Clojure which does not have static typing so my strong assumption would be no | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||