Programming Languages

Functional programming


Modular Type Classes - ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of data abstraction. Type classes emphasize implicit program construction and ad hoc polymorphism. In this paper, we show how the implicitly- typed style of type class programming may be supported within the framework of an explicitly-typed module language by viewing type classes as a particular mode of use of modules.


Implementing, and Understanding Type Classes - This page looks behind the scenes of the abstraction of parametric overloading, also known as bounded polymorphism, or just type classes. Seeing the implementation makes type classes appear simpler, friendlier, more comfortable to use.

Solving Embarrassingly Obvious Problems in Erlang - the article is helpful for any one how commits large function. It guides about decomposition of large functions using real life example. The technique is applicable to any language despite it refers to Erlang.

Inheritance vs Generics vs TypeClasses in Scala - A tutorial about polymorphism techniques in functional programming using Scala as an example. Answers the question about the difference between parametric polymorphism (generics) and ad-hoc polymorphism (type classes).



Jekyll - Simple solution for development of statis websites and blogs using markdown. Supported by GitHub out-of-the-box.

How to setup SEO for a Jekyll static site - Step-by-step Jekyll configuration of SEO plugin

10 Must do Jekyll SEO optimizations - Explains about SEO optimizations with Jekyll blogs

Table of contents