ABCL – Common Lisp on the JVM

Re:ABCL – Common Lisp on the JVM by shpongled on Wednesday December 11, 2019 @03:32AM (#21760631)

I like LISPs conceptually. However, I have a strong preference for static type systems, so I have probably written 10x more lines of code of LISP implementations than LISP code itself.

[ Parent | on HN ]

Re:ABCL – Common Lisp on the JVM by zeveb on Wednesday December 11, 2019 @09:15AM (#21762494)

A Common Lisp implementation may have static types:

    (defun foo (x)
      (declare (type fixnum x))
      (1- x))

If you don't specify them, types all default to T.

[ Parent | on HN ]

Re:ABCL – Common Lisp on the JVM by ernst_klim on Wednesday December 11, 2019 @05:53AM (#21761312)

Although I like OCaml way better than lisp, there is some static typing in Common Lisp. Sure there would be a lot of T (basic object) in your signatures, but you can have some typing discipline within it (although not as strict and beautiful as in ML languages).

[ Parent | on HN ]

Re:ABCL – Common Lisp on the JVM by jsjolen on Wednesday December 11, 2019 @05:19AM (#21761136)

Racket has Typed Racket, you might want to try that out!

[ Parent | on HN ]

Re:ABCL – Common Lisp on the JVM by TurboHaskal on Wednesday December 11, 2019 @05:36AM (#21761233)

Have you tried it yourself though? That thing is so slow it's barely usable.

[ Parent | on HN ]

Re:ABCL – Common Lisp on the JVM by jsjolen on Wednesday December 11, 2019 @06:31AM (#21761525)

Is it the type checking or the runtime that's slow?

[ Parent | on HN ]