Have to give Lisp credit on pushing the importance of engineering. In a time when FORTRAN spaghetti or C reigned supreme, lisp pushed for programmer-friendly ab

Have to give Lisp credit on pushing the importance of engineering. In a time when FORTRAN spaghetti or C reigned supreme, lisp pushed for programmer-friendly abstractions and hiding complexity in black boxes. In a time of thinking about algorithms, lisp pushed to think about abstractions. If types are your thing, shen lisp is an interesting language. Lisp with sound types (to the point of literally embedding sequent calculus in the language) and others traditional functional features like pattern matching.