Article View: pl.comp.lang.funkcyjne
Article #338Re: Od czego zaczac?
From: Tomasz Zielonka
Date: Tue, 22 Jul 2003 07:11
Date: Tue, 22 Jul 2003 07:11
36 lines
2411 bytes
2411 bytes
dilää napisał:
> Dzisiaj zaczalem to czytac. Pare dni temu zainteresowalem sie programowaniem
> funkcyjnym, sprobowalem w jakis szybki sposob zapoznac sie z lispem, zeby
> stwierdzic ze mi sie nie podoba (w moim przypadku bariera nie do przejscia
>: ), nie chodzilo jednak o jego funkcjonalnosc bo ta idea akurat bardzo
> przypadla mi do gustu.
Chodziło o brak składni czy dynamiczne sprawdzanie typów?
Mnie też to odstrasza.
> Dlatego tez wzialem sie za haskella. Nie da sie ukryc, ze
> niejednokrotnie natknalem sie na pojecie rachunku lambda oraz, ze te
> pojecie jest mi nieznane i ciezko przyswajalne w oparciu o internetowe
> zasoby (notatki z wykladow...). Sa dostepne jakies ksiazki, artykuly,
> dzieki ktorym latwiej mozna by sie zaznajomic z ta teoria, czyli
> niezakladajace wysokiego poziomu wiedzy matematycznej, a najlepiej
> zakladajace jej licealny poziom...?
Ja sobie dobrze radzę bez porządnej znajomości rachunku lambda, ale
kiedyś się zbiorę, przeczytam np.
Introduction to Lambda Calculus - Barendregt, Barendsen
http://citeseer.nj.nec.com/barendregt94introduction.html
i poszukam ćwiczeń do rozwiązania, np. w
http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/chapter2.ps.gz
http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/chapter3.ps.gz
> przy okazji, dzien dobry, bo pierwszy raz pisze na ta grupe ; )
Pozdrawiam,
Tomek
--
.signature: Too many levels of symbolic links
Technical Details
Message-ID:
<slrnbhposc.epk.t.zielonka@zodiac.mimuw.edu.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.gazeta.pl!news.internetia.pl!mimuw.edu.pl!news.mimuw.edu.pl!not-for-mailReferences:
<ba3nci$911$1@atlantis.news.tpi.pl> <slrnbcikb8.ja2.t.zielonka@zodiac.mimuw.edu.pl> <bfcpv4$8og$1@atlantis.news.tpi.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.gazeta.pl!news.internetia.pl!mimuw.edu.pl!news.mimuw.edu.pl!not-for-mail From: Tomasz Zielonka <t.zielonka@students.mimuw.edu.pl> Newsgroups: pl.comp.lang.funkcyjne Subject: Re: Od czego zaczac? Date: Tue, 22 Jul 2003 07:11:09 +0000 (UTC) Organization: MIMUW Lines: 36 Message-ID: <slrnbhposc.epk.t.zielonka@zodiac.mimuw.edu.pl> References: <ba3nci$911$1@atlantis.news.tpi.pl> <slrnbcikb8.ja2.t.zielonka@zodiac.mimuw.edu.pl> <bfcpv4$8og$1@atlantis.news.tpi.pl> Reply-To: t.zielonka@students.mimuw.edu.pl NNTP-Posting-Host: zodiac.mimuw.edu.pl Mime-Version: 1.0 X-Trace: kenny.mimuw.edu.pl 1058857869 15009 10.1.1.1 (22 Jul 2003 07:11:09 GMT) X-Complaints-To: abuse@news.mimuw.edu.pl NNTP-Posting-Date: Tue, 22 Jul 2003 07:11:09 +0000 (UTC) User-Agent: slrn/0.9.7.3 (Linux) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit