5 ms·
What are some compelling examples of Lisp languages in use today in apps/situations/use-cases that we might all know about? A lot of people (likely mistakenly)
by plg 10y ago
What are some compelling examples of Lisp languages in use today in apps/situations/use-cases that we might all know about?
A lot of people (likely mistakenly) think that it's just a language you learn in CS classes and then leave behind.
- to3m 10y agoEmacs.
- Jimmy 10y agoThis was to go-to answer when I started learning Lisp a decade ago. Glad to see nothing's changed.
- mtreis86 10y agoThis website: Arc
- m-j-fox 10y agoHa! Figures.
- bgruber 10y agowalmart (http://blog.cognitect.com/blog/2015/6/30/walmart-runs-clojure-at-scale http://blog.cognitect.com/blog/2015/6/30/walmart-runs-clojur...)
- lispm 10y agohttps://www.google.com/flights/ https://www.google.com/flights/
- lispm 10y agoIf you use microprocessors from companies like AMD and Intel, there is a good chance that parts of their design were checked with large amounts of Lisp code. Example: https://github.com/acl2/acl2/tree/master/books/rtl/rel11 https://github.com/acl2/acl2/tree/master/books/rtl/rel11 > This directory contains an ACL2 library of register-transfer logic, developed at AMD from 1995 to 2011, and at Intel from 2012 to the present, in support of the mechanical verification of the floating-point arithmetic units designed during those periods by the respective companies.
- kazinator 10y agoSo, Lisp provides static checking that is so early, it precedes your CPU being taped out.
- deleted 10y ago[deleted]