2014 May 27

Things under discussions:

• Type systems

• Truthy and falsy values

  • A blog post surveying this

• The blub paradox and implications

• logic programming

  • miniKanren
  • A simple implementation of fact-bases
  • Awesome videos on the subject:
    • Will Byrd on Relational Programming
    • Friedman and Byrd demo miniKanren

• immutable datastructures

• Object orientation (class-focused vs function-focused)

• Expression problem

• Records and protocols => ~OO?

• (-> core.logic prolog miniKanren datalog sql linq)

• haskell vs clojure and the pros and cons of type systems

• multimethods

• parametric polymorphism vs implicit coercion

• variadic functions vs automatic currying

• I heard you like maps, so I mapped a map over your map to give you a map.