Article View: pl.comp.lang.funkcyjne
Article #1007Wykłady Bartosza Milewskiego o Teorii Kategorii
From: godek.maciek
Date: Thu, 09 Feb 2017 12:07
Date: Thu, 09 Feb 2017 12:07
7 lines
1537 bytes
1537 bytes
co prawda nadal nie do końca czaję, o co chodzi z tymi monadami, ale i tak jest lepiej niż było, więc wszystkim osobom zainteresowanym programowaniem funkcyjnym (w matematyczno-abstrakcyjnym wydaniu) polecam serię wykładów Bartosza Milewskiego na temat Teorii Kategorii: https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
Technical Details
Message-ID:
<d94986ca-506d-4901-9463-9bfc63728be0@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!news.glorb.com!r185no495863ita.0!news-out.google.com!78ni1538itm.0!nntp.google.com!r185no492274ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailShow Full Headers
Complete Article Headers
X-Received: by 10.36.224.3 with SMTP id c3mr6087106ith.28.1486642026573; Thu, 09 Feb 2017 04:07:06 -0800 (PST) X-Received: by 10.157.18.211 with SMTP id g77mr101315otg.14.1486642026511; Thu, 09 Feb 2017 04:07:06 -0800 (PST) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!news.glorb.com!r185no495863ita.0!news-out.google.com!78ni1538itm.0!nntp.google.com!r185no492274ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: pl.comp.lang.funkcyjne Date: Thu, 9 Feb 2017 04:07:06 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.192.95.134; posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r NNTP-Posting-Host: 213.192.95.134 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <d94986ca-506d-4901-9463-9bfc63728be0@googlegroups.com> Subject: Wykłady Bartosza Milewskiego o Teorii Kategorii From: godek.maciek@gmail.com Injection-Date: Thu, 09 Feb 2017 12:07:06 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit