[Haskell-cafe] FW: Master Thesis on Haskell
ekcburak at hotmail.com
Tue May 17 17:58:07 CEST 2011
I am not sure, if the attached files are allowed in the list or not.
Because of this reason, I want to send my outline attached as inline, in any case.
Thanks already now and best of regards.
Basically, the objective of this project is to use some objects and also
the algebra among them (fuctors, monads, functor algebras , monad algebras),
originating from Category Theory, with the help of Haskell PL to create alternative
solution strategies to the problems (failure detection, purity, avoiding
side-effects, ...) existing in Computer Science, particularly, in the context
of functional programming.
Category Theory - As a mathematical background
Haskell programming language
Basic Classifications of programming languages
What is Functional Programming
What is Haskell
Haskell's Type System (Static and Strong)
Creating new types in Haskell
Definition of Haskell's HASK category (Types are
Objects, Functions between objects are Morphisms)
Functors of Haskell
More information about the Haskell-Cafe