Thread View: pl.comp.lang.funkcyjne
6 messages
6 total messages
Started by jrx
Sat, 27 Jan 2007 09:55
Rachunek lambda
Author: jrx
Date: Sat, 27 Jan 2007 09:55
Date: Sat, 27 Jan 2007 09:55
16 lines
1327 bytes
1327 bytes
Witam, Czy ktoś z was może wie, gdzie można dowiedzieć się czegoś więcej na temat matematycznej strony języków funkcyjnych? Szperałem co nieco na stronach haskella, ale materiały się tam znajdujące głównie dotyczą praktycznych aspektów zastosowania języka. Jest może jakiś podręcznik do matematyki zajmujący się tą tematyką? (Głównie interesuje mnie rachunek lambda i monady) Pozdrawiam, JRX -- JRX --> dev \dot jrx \at gmail \dot com If the words "open source" get you more excited than the words "free porn"...you might be a Game Developer. Registered Linux user# 383163
Re: Rachunek lambda
Author: Rudy
Date: Sat, 27 Jan 2007 11:03
Date: Sat, 27 Jan 2007 11:03
17 lines
1492 bytes
1492 bytes
jrx wrote: > Witam, > > Czy ktoś z was może wie, gdzie można dowiedzieć się czegoś więcej na > temat matematycznej strony języków funkcyjnych? Szperałem co nieco na > stronach haskella, ale materiały się tam znajdujące głównie dotyczą > praktycznych aspektów zastosowania języka. Jest może jakiś podręcznik do > matematyki zajmujący się tą tematyką? (Głównie interesuje mnie rachunek > lambda i monady) Na stronie lambda-the-ultimate.com jest mnóstwo linków. Zobacz też tę dyskusję http://tinyurl.com/2l3bet, zadałem chyba podobne pytanie ;) -- Andrzej 'Rudy' Dąbrowski GG 1177403
Re: Rachunek lambda
Author: Michal Przybylek
Date: Sun, 28 Jan 2007 17:31
Date: Sun, 28 Jan 2007 17:31
41 lines
2072 bytes
2072 bytes
jrx napisał(a): > Jest może jakiś podręcznik do > matematyki zajmujący się tą tematyką? (Głównie interesuje mnie rachunek > lambda i monady) Tak. Podstawowy (wciąż) podręcznik to: "Categories for the Working Mathematician" - Saunders Mac Lane wprowadzający fundamentalne pojęcia i dający podstawowe intuicje kategoryjne. Dalej książka Lambeka i Scott'a: "Introduction to Higher Order Categorical Logic" pokazująca kategorie od strony logiki i teorii typów (związek pewnych specjalnych kategorii z rachunkami lambda o typach prostych, fragmentami logik intuicjonistycznych i teorii typów Martina-Lofa). W końcu: "Categorical Logic and Type Theory" - Bart Jacobs która jest już dość zaawansowaną monografią nt. kategoryjnych uchatków, w których naturalnie żyją modele dla bardziej skomplikowanych rachunków (i logik) niż te z typami prostymi (np. polimorfizm wyższego rzędu czy typy zależne). *** Samą koncepcję kategoryjnych monad, do języków programowania, wprowadził Eugenio Moggi przy opisywaniu semantyki języków funkcyjncyh w kategoriach Kleislego. Praca jest gdzieś dostępna on-line, ale nie mam teraz czasu szukać. mp
Re: Rachunek lambda
Author: Michal Przybylek
Date: Sun, 28 Jan 2007 17:42
Date: Sun, 28 Jan 2007 17:42
16 lines
1273 bytes
1273 bytes
jrx napisał(a): > Jest może jakiś podręcznik do > matematyki zajmujący się tą tematyką? (Głównie interesuje mnie rachunek > lambda i monady) A jeżeli chodzi o sam rachunek lambda, to: "Lectures on the Curry-Howard Isomorphism" - Pawel Urzyczyn, Morten Heine Sorensen i klasyka: "The Lambda Calculus" - H. Barendregt mp
Re: Rachunek lambda
Author: jrx
Date: Tue, 30 Jan 2007 07:55
Date: Tue, 30 Jan 2007 07:55
20 lines
1331 bytes
1331 bytes
Michal Przybylek wrote: > A jeżeli chodzi o sam rachunek lambda, to: > > "Lectures on the Curry-Howard Isomorphism" - Pawel Urzyczyn, Morten > Heine Sorensen > > i klasyka: > > "The Lambda Calculus" - H. Barendregt Dzięki wielkie za tytuły, biore się do wyszukiwania Pozdrawiam, JRX -- JRX --> dev \dot jrx \at gmail \dot com If the words "open source" get you more excited than the words "free porn"...you might be a Game Developer. Registered Linux user# 383163
Re: Rachunek lambda
Author: Piotr Sawicki
Date: Tue, 30 Jan 2007 11:48
Date: Tue, 30 Jan 2007 11:48
18 lines
1219 bytes
1219 bytes
jrx powiada : > Michal Przybylek wrote: >> A jeżeli chodzi o sam rachunek lambda, to: >> >> "Lectures on the Curry-Howard Isomorphism" - Pawel Urzyczyn, Morten >> Heine Sorensen >> >> i klasyka: >> >> "The Lambda Calculus" - H. Barendregt > > Dzięki wielkie za tytuły, biore się do wyszukiwania http://www.mimuw.edu.pl/~urzy/Lambda/ http://www.mimuw.edu.pl/~urzy/CHizomorfizm/ Piotr Sawicki
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads