3 ms·

Actually, if you watch the video of the LambdaConf talk, I believe you'll see me deride Lisp as having (and needing) dynamically typed atoms. I had no idea the

by yarvin9 10y ago

Actually, if you watch the video of the LambdaConf talk, I believe you'll see me deride Lisp as having (and needing) dynamically typed atoms. I had no idea the concept of an atom had indeed degenerated all the way into complex numbers, which to me and to all decent Americans will always be a "cons" cell. Obviously I had not reckoned with the full and complete degeneracy of Clozure Common Lisp Version 1.10. Or something. If I knew Lisp, I could perhaps condemn it correctly. In any case, sir: you are misinformed. A "dynamic" type system isn't actually a type system. At best, it's a sort of crutch for retired Jedis who can barely swing their obsolete, one-ended lightsabers. Or do you wish to become enlightened? Come visit our library, old Jedi. At urbit.org, we have all the enlightenment you need. The age of Lisp was glorious, true. But much time has passed and much we have learned. The times change, uncle, and we must change with them.

lisper 10y ago
> A "dynamic" type system isn't actually a type system. I didn't say it was. I said Lisp was a typed language. Different claim. Lisp can be either dynamically or statically typed, though dynamic typing is more common. See: http://stackoverflow.com/questions/3323549/is-a-statically-typed-full-lisp-variant-possible http://stackoverflow.com/questions/3323549/is-a-statically-t... https://www.quora.com/Why-is-Lisp-dynamically-typed https://www.quora.com/Why-is-Lisp-dynamically-typed But see my earlier warnings about the possibility of losing your carefully cultivated ignorance. If you really want to play with fire, read these too: https://en.wikipedia.org/wiki/Type_system https://en.wikipedia.org/wiki/Type_system http://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html http://blogs.perl.org/users/ovid/2010/08/what-to-know-before... Pay particular attention where it says, "Type systems are commonly classified by several words, of which the most common are ... dynamic ..."

by yarvin9 10y ago

lisper 10y ago

> A "dynamic" type system isn't actually a type system. I didn't say it was. I said Lisp was a typed language. Different claim. Lisp can be either dynamically or statically typed, though dynamic typing is more common. See: http://stackoverflow.com/questions/3323549/is-a-statically-typed-full-lisp-variant-possible http://stackoverflow.com/questions/3323549/is-a-statically-t... https://www.quora.com/Why-is-Lisp-dynamically-typed https://www.quora.com/Why-is-Lisp-dynamically-typed But see my earlier warnings about the possibility of losing your carefully cultivated ignorance. If you really want to play with fire, read these too: https://en.wikipedia.org/wiki/Type_system https://en.wikipedia.org/wiki/Type_system http://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html http://blogs.perl.org/users/ovid/2010/08/what-to-know-before... Pay particular attention where it says, "Type systems are commonly classified by several words, of which the most common are ... dynamic ..."