Haskell ile kategori yeori

Abstract

Haskell ile Kategori Teorisi üzerine hazırlanan bu tez dört bölümden oluşmaktadır. İlk bölümde kategori teorinin diğer bölümlerde faydalanılacağı temel kavram ve bilgiler verilmiştir. İkinci bölümde bilgisayar programlama tarihçesi ve programlama dilleri örneklerine yer verilmiştir. Üçüncü bölümde fonksiyonel programlama dillerinden Haskell dilinin temel yapı, özellik ve örneklerine ilişkin kapsamlı bilgiler yer almıştır. Son bölümde ise Haskell dili ile kategori teorinin bazı kavramları arasındaki benzerliklere vurgu yapılmıştır. Kategori teoride öne çıkan bazı temel yapılar Haskell dili ile bilgisayar diline çevrilmiştir.

This thesis consist of four chapters. In the first chapter some basic notions and informations about category theory which contributed to other chapters. In the second chapter history of computer and programming and examples of programming languages is given. In the following chapter Haskell’s ,one of the functional programming language, basic structures, properties and examples is given comprehensively. In the last chapter, similarity between category theory and Haskell about some notions is emphasized. Some basic prominent structures in category theory are translated to computer language via Haskell.