4 ms·

> people who believe that "programming == math" seems to be mostly attracted to languages like Haskell and OCaml, not so much to Prolog Agreed, but note Lisp a

> people who believe that "programming == math" seems to be mostly attracted to languages like Haskell and OCaml, not so much to Prolog Agreed, but note Lisp also is very math-oriented (it’s a syntax for lambda calculus).

chriswarbo 7y ago
Scheme strives to be; but "Lisp" in general includes a whole bunch of imperative and effectful stuff (e.g. all the looping constructs in Common Lisp). Lots of that could be implemented via lambdas and recursion, but it could also be implemented by any other Turing-complete system.