Are there any strongly-typed functional languges like PureScript or Haskell in LISP?

@mruzekw Maybe check out Carp

“Ownership tracking”: Rust in LISP?

I think that's kind of the idea, but also static typing

which goes hand in hand of course

Sure.

Does it handle impure I/O through the type system like Haskell?

Err through data types?? (Haskell noob)

Not sure. There's also https://github.com/lexi-lambda/hackett which is closer to Haskell.

Thanks!

I just can’t get away from LISP! 😛

I know the feeling.

there is also http://www.shenlanguage.org

Thanks!