Reasoning about type inference

Closure idioms without closures (ML version)

Mixing closures with abstract datatypes

Callbacks using mutable references (ML)

Currying (ML)

Function composition (ML)

A few examples of how lexical scope works (ML)

A function body is evaluated in the environment where the function was defined (created).

Higher order functions Map and Filter (ML)

Using higher order and anonymous functions in ML

Modeling a poker game in Scala

WORK IN PROGRESS. If I find the time ideally i'd like to develop a PLAY2.x app using AKKA actors to orchestrate the poker game. Would be a very nice exercise. :)

transforming non tail recursive functions in tail recursive ones

raising and handling exceptions in ML

Using nested pattern matching (ML)

Pattern matching on each-of types (bad vs good style) ML

Examples of using polymorphic datatypes ML

Using pattern matching instead of using head or tail

Simple example of using a recursive datatype (ML)

Datatypes in ML

Records and tuples as syntactic sugar for records (ML)

A taste of programming in ML

Taking a new course Proglang which started this week. So expect more to follow on what I learn.