type inference in Lisp - typed racket

[reuleaux]

sorry, I don’t have much time - and I yet have to try out eisl - but I regularly follow your blog posts (on medium): concerning your lastest one there - about type inference in Lisp: you may want to have a look at typed racket perhaps (it works with optional type annotations + type inference as I understand - again: not much experience with that personally). You can find some videos on typed racket at https://racket-stories.com/ (where I found your blog posts by the way), for example: Introduction to Typed Racket - Mark Farrell - I should sign up w/ medium some time (sorry for misusing this gh issue tracker thus for just leaving a comment) - Hope this helps. - A’