http://www.lispcast.com/ A blog about the simple joys of functional programming. en http://www.lispcast.com/church-vs-curry-types http://www.lispcast.com/church-vs-curry-types Tue 15 Jul 2014 10:26:15 PM CDT Static vs dynamic typing debates often flounder because the debators see from two different perspectives without knowing it. Learning to identify the two perspectives can calm the discussion. The tension between the two perspectives has led to Gradual Typing and other technologies. <p><center><a href="http://www.lispcast.com/church-vs-curry-types">Read full post</a></center></p> http://www.lispcast.com/css-abstraction-combination http://www.lispcast.com/css-abstraction-combination Sat 08 Feb 2014 01:44:44 PM CST According to the requirements proposed by Abelson and Sussman, CSS does not provide adequate means of combination and abstraction to be considered a powerful language. <p><center><a href="http://www.lispcast.com/css-abstraction-combination">Read full post</a></center></p> http://www.lispcast.com/less-abstraction-combination http://www.lispcast.com/less-abstraction-combination Wed 12 Feb 2014 10:16:42 PM CST LESS has obviously better forms of abstraction and combination than CSS. It has recursive style definitions, which is enough to consider it a "powerful language". <p><center><a href="http://www.lispcast.com/less-abstraction-combination">Read full post</a></center></p> http://www.lispcast.com/lisp-with-macros-language-stack http://www.lispcast.com/lisp-with-macros-language-stack Tue 08 Oct 2013 10:47:27 AM CDT Lisp with macros can be seen as two languages, each with different semantics. The base language can be interpreted directly, whereas the result of interpreting the macro language is to produce a new program in the base language. <p><center><a href="http://www.lispcast.com/lisp-with-macros-language-stack">Read full post</a></center></p> http://www.lispcast.com/two-kinds-of-bootstrapping http://www.lispcast.com/two-kinds-of-bootstrapping Sat 23 Aug 2014 10:43:37 AM CDT I like languages with a small core that is extensible. The languages tend to be weird and require less code to bootstrap. <p><center><a href="http://www.lispcast.com/two-kinds-of-bootstrapping">Read full post</a></center></p>