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/Hindley-Milner-in-Clojure http://www.lispcast.com/Hindley-Milner-in-Clojure Mon 13 Jan 2014 08:48:37 AM CST I wrote a lambda-calculus interpreter and an implementation of Hindley-Milner to type check it. <p><center><a href="http://www.lispcast.com/Hindley-Milner-in-Clojure">Read full post</a></center></p> http://www.lispcast.com/on-type-unity http://www.lispcast.com/on-type-unity Sat 02 Nov 2013 04:52:12 PM CDT Languages with strong, dynamic types (like Scheme) are actually single-typed languages, not untyped languages. Some would say this is restrictive, but this unity of type is a source of their strength. <p><center><a href="http://www.lispcast.com/on-type-unity">Read full post</a></center></p> http://www.lispcast.com/pre-west-nathan-sorenson http://www.lispcast.com/pre-west-nathan-sorenson Wed 15 Apr 2015 11:10:22 PM CDT Nathan Sorenson will talk about type systems and macros. <p><center><a href="http://www.lispcast.com/pre-west-nathan-sorenson">Read full post</a></center></p> http://www.lispcast.com/ambrose-interview-typed-clojure http://us4.campaign-archive2.com/?u=a33b5228d1b5bf2e0c68a83f4&id=c43c157edd Tue 08 Oct 2013 03:34:23 PM CDT <p>Way back in May 2012, Ambrose was beginning work on Typed Clojure for Google Summer of Code. I interviewed him to get an idea of what kind of type system we could expect. Since he's now running a very successful <a href="http://www.indiegogo.com/projects/typed-clojure">crowd funding campaign</a>, I thought I'd bring up this blast from the past.</p> <h3 id="you-might-also-like">You might also like</h3> <ul> <li><a href="http://www.lispcast.com/3-things-java-can-steal-from-clojure">3 Things Java Programmers Can Steal from Clojure</a></li> <li><a href="http://www.lispcast.com/atom-problem">Atom code explanation</a></li> <li><a href="http://www.lispcast.com/clojure-gazette-looking-forward-2015">Clojure Gazette Looking Forward</a></li> <li><a href="http://www.lispcast.com/clojure-is-imperative">Clojure is Imperative</a></li> </ul> <p><center><a href="http://www.lispcast.com/ambrose-interview-typed-clojure">Read full post</a></center></p> http://www.lispcast.com/sharp-and-gets-things-cut http://blog.fogus.me/2013/10/07/scala-sharp-and-gets-things-cut/ Tue 08 Oct 2013 11:47:58 PM CDT <p>Michael Fogus is right (as usual) about this one. Someone with Odersky's stature should not fear lack of humilty but instead lack of confidence.</p> <h3 id="you-might-also-like">You might also like</h3> <ul> <li><a href="http://www.lispcast.com/church-vs-curry-types">Church vs Curry Types</a></li> <li><a href="http://www.lispcast.com/Hindley-Milner-in-Clojure">Hindley-Milner in Clojure</a></li> <li><a href="http://www.lispcast.com/on-type-unity">On Type Unity</a></li> <li><a href="http://www.lispcast.com/pre-west-nathan-sorenson">Pre-West Prep: Nathan Sorenson</a></li> </ul> <p><center><a href="http://www.lispcast.com/sharp-and-gets-things-cut">Read full post</a></center></p>