>>165
Job market is an occupied territory. You can't just replace Unix with Lisp OS. You can't replace Set Theory language with any other language. It's very hard to replace IPv4 with IPv6, even when major forces are interested. Replacing Set Theory with a Lisp-based language would meet opposition from the whole science community, which religiously conservative to no end.
"No one shall expel us from the Paradise that Cantor has created." -- words of modern scientist.