4 ms·

I've heard racket is the way to go with types in lisp. https://racket-lang.org/ https://racket-lang.org/ Just passing along what I heard though, I personally

I've heard racket is the way to go with types in lisp. https://racket-lang.org/ https://racket-lang.org/ Just passing along what I heard though, I personally don't use types and think things like clojure spec do a much better job fitting the bill.

peatmoss 8y ago
I think some are bristling that Racket is the way to go, but Typed Racket is certainly a good way to go. https://docs.racket-lang.org/ts-guide/ https://docs.racket-lang.org/ts-guide/ You can start without types and later convert parts of your code to typed without too much headache. But, as the GP has mentioned, SBCL allows you to add type annotations which is similar in spirit to the idea of progressively adding types. Even as a Racket fan (and Racket’s performance is pretty good), I covet the blazing performance of SBCL, so the calculus is not cut and dry.
- sevensor 8y ago
  Interesting stuff is happening performance-wise. I have my eye on both Racket-on-Chez and pycket.
  - peatmoss 8y ago
    Racket-on-Chez may eventually result in a better performing Racket, but SBCL is still going to be a hard target to match. That said, Racket on Chez means more of Racket is getting written in Racket. In turn, I suppose Racket-on-SBCL is not outside the realm of possibility. In general, it would be cool if Racket ran in more places.
arminiusreturns 8y ago
Or maybe guile?
- peatmoss 8y ago
  Some exciting stuff happening in Guile land these days. They’re getting a new JIT which sounds like it makes Guile’s performance closer to Racket’s. Also, I’ve been pleasantly surprised by some of the libraries in Guile. For example I was looking for a curses library the other day, and Guile’s was the clear standout in the Scheme-o-sphere. I didn’t follow through on my project, but Guile’s implementation looked pretty thorough and well-documented. Oh, and GNU project stuff does have a nice consistency to it. I mean, all the docs are predictably there and follow the same typographical conventions. That’s a nice feature IMO. Racket does something similar, but Racket’s also not the size of the entire GNU ecosystem, which gives Guile some network effects in terms of that consistency.

peatmoss 8y ago

I think some are bristling that Racket is the way to go, but Typed Racket is certainly a good way to go. https://docs.racket-lang.org/ts-guide/ https://docs.racket-lang.org/ts-guide/ You can start without types and later convert parts of your code to typed without too much headache. But, as the GP has mentioned, SBCL allows you to add type annotations which is similar in spirit to the idea of progressively adding types. Even as a Racket fan (and Racket’s performance is pretty good), I covet the blazing performance of SBCL, so the calculus is not cut and dry.

sevensor 8y ago
Interesting stuff is happening performance-wise. I have my eye on both Racket-on-Chez and pycket.
- peatmoss 8y ago
  Racket-on-Chez may eventually result in a better performing Racket, but SBCL is still going to be a hard target to match. That said, Racket on Chez means more of Racket is getting written in Racket. In turn, I suppose Racket-on-SBCL is not outside the realm of possibility. In general, it would be cool if Racket ran in more places.

arminiusreturns 8y ago

Or maybe guile?

peatmoss 8y ago
Some exciting stuff happening in Guile land these days. They’re getting a new JIT which sounds like it makes Guile’s performance closer to Racket’s. Also, I’ve been pleasantly surprised by some of the libraries in Guile. For example I was looking for a curses library the other day, and Guile’s was the clear standout in the Scheme-o-sphere. I didn’t follow through on my project, but Guile’s implementation looked pretty thorough and well-documented. Oh, and GNU project stuff does have a nice consistency to it. I mean, all the docs are predictably there and follow the same typographical conventions. That’s a nice feature IMO. Racket does something similar, but Racket’s also not the size of the entire GNU ecosystem, which gives Guile some network effects in terms of that consistency.