At the Boston Lisp Meeting I gave a variant of my LambdaConf 2019 talk about lessons going from Lisp to OCaml—to a crowd of Lispers rather than typed FPers. I now think I should go back to Lisp, because I myself can add types to Lisp more easily than macros to OCaml or Haskell.
-
Show this thread
-
Now, the Lisp I am going back to is not Common Lisp, it's Gerbil Scheme https://cons.io/ or maybe Racket https://racket-lang.org/ — because only they already have good support for the kind of non-local module-scoped hygienic expansion necessary for type inference.
3 replies 2 retweets 12 likesShow this thread -
Replying to @Ngnghm
I still invite you to help me get Coalton in flight with your Lisp prowess.https://github.com/stylewarning/coalton …
2 replies 0 retweets 3 likes -
Replying to @stylewarning
I have had a bookmark for Coalton for some time, and I may get inspired by some of it, but I don't see myself coming back to Common Lisp at this point, rather than to Gerbil or Racket.
1 reply 0 retweets 1 like -
Replying to @Ngnghm
Maybe you want to make the Big Bucks $$$ writing Industrial Code (TM). (/s)
2 replies 0 retweets 3 likes -
Replying to @stylewarning @Ngnghm
Funny how people who don't use a language go around telling people why they don't want to use this language.
1 reply 0 retweets 1 like
I did my time with Common Lisp. I'm grateful for all the great experiences, but I'm looking for more than it can offer. Vyzo is making me personally welcome with Gerbil and addressing my requests. I'm also grateful for that. Meanwhile, Marc Feeley is providing a great substrate.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!