Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Jank Lang Hit Alpha

github.com

Post reply on HN
Print view View original

11–20 of 35 posts

Re: Jank Lang Hit Alpha

#11

Post by pxc »

jiehong wrote: post #8

Is there a static type system included/inferred? Couldn’t not find the answer

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.

--

1: https://jank-lang.org/blog/2025-01-10-i-quit-my-job/

Re: Jank Lang Hit Alpha

#12

Post by Jeaye »

jiehong wrote: post #8

Is there a static type system included/inferred? Couldn’t not find the answer

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.

Re: Jank Lang Hit Alpha

#13

Post by Zak »

gleenn wrote: post #9
jiehong wrote: post #8

Is there a static type system included/inferred? Couldn’t not find the answer

It is implementing Clojure which does not have static typing so my strong assumption would be no

Clojure offers static typing as a library.

Re: Jank Lang Hit Alpha

#14

Post by agumonkey »

Jeaye wrote: post #3

Please link to https://book.jank-lang.org/ for anything related to the jank alpha. I wasn't quite ready to announce the alpha, but I appreciate that folks are excited. :) There's just a couple more compiler features I wanted to get merged, but everything should be in order for folks to follow the book and try jank out.

big kudos to all involved

Re: Jank Lang Hit Alpha

#15

Post by kermatt »

Zak wrote: post #13
gleenn wrote: post #9

Earlier quoted context omitted.

It is implementing Clojure which does not have static typing so my strong assumption would be no

Clojure offers static typing as a library.

Is that 'core.typed' ?

Does it introduce incompatibilities with third-party libraries?

Re: Jank Lang Hit Alpha

#16

Post by tym0 »

pxc wrote: post #11
jiehong wrote: post #8

Is there a static type system included/inferred? Couldn’t not find the answer

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 e…

Oh man, as someone who used to contribute to a statically typed lispy language this would be the dream for me.

Re: Jank Lang Hit Alpha

#17

Post by swlkr »

tym0 wrote: post #16
pxc wrote: post #11

Earlier quoted context omitted.

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 e…

Oh man, as someone who used to contribute to a statically typed lispy language this would be the dream for me.

there's always carp lang but no gc

Re: Jank Lang Hit Alpha

#19

Post by yogthos »

kermatt wrote: post #15
Zak wrote: post #13

Earlier quoted context omitted.

Clojure offers static typing as a library.

Is that 'core.typed' ? Does it introduce incompatibilities with third-party libraries?

typed Clojure has both Clojure and ClojureScript implementations, so it's not tied to the JVM https://github.com/typedclojure/typedclojure

Re: Jank Lang Hit Alpha

#20

Post by tym0 »

swlkr wrote: post #17
tym0 wrote: post #16

Earlier quoted context omitted.

Oh man, as someone who used to contribute to a statically typed lispy language this would be the dream for me.

there's always carp lang but no gc

That's the language I was talking about :)

But none of us have worked on it in a while.

Post reply on HN