źródło
Tematyka
Kurs ma za zadanie doskonalić zdolności programowania poprzez przybliżenie paradygmatu programowania funkcyjnego i powiązanych z nim pojęć informatyki teoretycznej. Na kursi poruszane są również najnowsze trendy na styku informatyki, matematyki i modelowania świata.
Poruszane zagadnienia:
Podstawy rachunku lambda (Lambda Caclulus) Alonzo Churcha.
Wprowadzenie do języka Haskell- od podstaw do Monad
Podstawy języka z rodziny LISP na przykładzie języka Scheme.
Konstrukcja interpretera języka Scheme w Pythonie - jak działa interpreter.
Konstrukcja prostego systemu do obliczeń symbolicznych w Haskellu.
Przegląd zagadnień z teorii kategorii.
Prezentacje - Haskell
Prezentacje na podstawie książki Peter Späth, 'Beginning Jakarta EE', Springer .
* - najlepszy projekt zaliczeniowy wybrany w głosowaniu
Wyklady na youtube
VIDEO
VIDEO
VIDEO
VIDEO
VIDEO
VIDEO
VIDEO
VIDEO
VIDEO
Spis literatury
Haskell
Erlang
LISP
Scheme
Racket
Clojure
Standard ML
Scala
Functional Programming, Lambda Calculus and Category Theory
Greg Michaelson, 'An Introduction to Functional Programming Through Lambda Calculus' Dover Books on Mathematics Chris Okasaki,'Purely Functional Data Structures', Dover Lambda Calculus - Wikipedia Alfio Martini,'Category Theory and the Simply-Typed lambda-Calculus' Aditya Bhargava, 'Functors, Applicatives, And Monads In Pictures' Peter Smith, 'Category Theory: A Gentle Introduction', University of Cambridge, Manuscript F. WILLIAM LAWVERE, S. H. SCHANUEL, 'Conceptual mathematics: A first introduction to categories', Cambridge Monads - Wikipedia Kleisli category - nLab Kleisli category - Wikipedia S. Awodey, 'Category Theory', Oxford Logic Guides Saunders Mac Lane, 'Categories for the Working Mathematician',Springer; 2nd ed., 2010
Artykuly naukowe na tematy prorgamowania funkcyjnego i teorii kategorii
Functional programming in 'non-functional' languages
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
It appears you don't have a PDF plugin for this browser.
VIDEO
© 2021, 2022 R.K.