why does Lisp always have dyamic variables?

Is it possible to make a Lisp dialect that has static types? Why cant type inference be used in Lisp instead of dynamic typing.

no

Use Racket.

>>1
It could exist if you wanted to make one. The recognizable thing about lisp is its style of syntax, which could be used for any programming language.


(define (main (argc int) (argv (pointer (pointer char)))) int
  (printf "%s: Hello world!\n" (deref argv))
  (if (> argc 1)
    (printf "you passed %s for the first command line argument!\n" (deref (+ argv 1))))
  (return 0))

But it would be convenient to have some of the nice features when writing macros. It would be kind of annoying if you had to worry about freeing parts of the syntax tree that were not used or something.

>>4
(pointer (pointer char))

So... is that a **char, or secretly a *cons ?
What does (pointer (return 0)) or (pointer (puts "dicks")) do?

>>5
it's not because sexprs give you extra syntactic freedom that suddenly you can write nonsensical code

>>5
It's a type expression.

Lisp
GC is shit.

Lisp used to always have dynamic variables, but now it's standard to have lexically scoped variables. Many lisps still offer dynamic variables in one way or another.

There's nothing in the scheme standard prohibiting type inference by the interpreter/compiler for static type checking where possible, and I'd guess the same goes for Common Lisp.

Fuck yeah, type inference.
Try OCaml, it's nice.

Gradual typing.

>>10
OCaml
A cube undertook golf, ``please''!!

bampu pantsu