[Haskell-cafe] FW: Master Thesis on Haskell

[Burak Ekici]

Dear All,

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.
Burak Ekici.

OUTLINE 



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. 

 

1.      
Category Theory - As a mathematical background

·        
Categories

·        
Functors

·        
Natural Transformations

·        
Monads

                                                 

2.      
Haskell programming language

·        
Basic Classifications of programming languages

·        
What is Functional Programming

·        
What is Haskell

·        
Haskell's Type System (Static and Strong)

o  
Type Signature

o  
Type Variables

o  
Type Classes

o  
Creating new types in Haskell

o  
Definition of Haskell's HASK category (Types are
Objects, Functions between objects are Morphisms)

 

3.      
Functors of Haskell

·