notes from the first meeting

[Ivan Tarasov]

Books:
  "Category Theory for Computing Sciences" M.Barr, G.Wells (recommended) (buy here: http://crm.umontreal.ca/pub/Ventes/CatalogueEng.html)
  "Conceptual Mathematics" F.W.Lawvere (simple, sometimes too simplified)
  "Category Theory" Steve Awodey (less practical, becoming a new standard) (recommended, easier to get hold of)

Other resources:
  http://folli.loria.fr/cds/1999/library/pdf/barrwells.pdf (lecture notes of Barr and Wells from "Category Theory" course)

Haskell Books/Tutorials:
  "Real World Haskell"
  "Learn You a Haskell for great good"
  “Write Yourself a Scheme in 48 hours”

Should learn:
category, functor, natural transformations, equalizers, monads, Kleisli categories, directional toposes, topos logic, …

Application examples:
SQL statements calculate limits

Michael's lecture notes:
http://haskell.org/haskellwiki/User:Michiexile/MATH198

Ivan

[Maya]

I am working on learn you a haskell for great good tutorial. It has been fun so far. Haskell reminds me of Maple and Matlab.

Maya

--- On Thu, 10/1/09, Ivan Tarasov <ivan.t...@gmail.com> wrote:

[Maya]

Is Haskell faster than other languages? I have this impression.

Maya

--- On Thu, 10/1/09, Ivan Tarasov <ivan.t...@gmail.com> wrote:

> From: Ivan Tarasov <ivan.t...@gmail.com>
> Subject: notes from the first meeting
> To: ba...@googlegroups.com
> Date: Thursday, October 1, 2009, 10:21 PM

[Jason Dusek]

2009/10/08 Maya <maya...@yahoo.com>:

> Is Haskell faster than other languages? I have this impression.

It is faster than many other languages, for example: Ruby,
Python, PHP, Perl and friends.

Haskell is competitive with most compiled languages -- O'Caml
and Java and Scala, for example. With regards to C or C++, the
comparison is often all over the place. Laziness makes some
algorithms faster and some slower; clever data structures can
make Haskell competitive when they exist while the ubiquitous
list data structure can be a source of useless memory traffic;
low level Haskell with lots of pointer ops is basically C with
indentation. Really fast Haskell is a bit of a dark art; but
then again, C++ is a dark art all by itself -- and really fast
Python is impossible.

--
Jason Dusek

[Maya]

It will be interesting to see a well studied comparison of Haskell with c in terms of memory management and speed.

Maya


--- On Thu, 10/8/09, Jason Dusek <jason...@gmail.com> wrote:

> From: Jason Dusek <jason...@gmail.com>
> Subject: Re: notes from the first meeting
> To: ba...@googlegroups.com

[Maya]

The lecture notes on Category theory is awesome. Nice and simple and gives graph theory a completely new meaning.

Maya

--- On Thu, 10/1/09, Ivan Tarasov <ivan.t...@gmail.com> wrote:

> From: Ivan Tarasov <ivan.t...@gmail.com>

> Subject: notes from the first meeting
> To: ba...@googlegroups.com

> Date: Thursday, October 1, 2009, 10:21 PM

[Jason Dusek]

I have been unable to get in touch with the publishers for
Barr & Wells -- they've not returned my mail. Has anyone
else had better luck?

--
Jason Dusek

[Vlad Patryshev]

I have actually got hold of the people in Montreal, sent them my order, and they promised to send the book within a week.

Here's the email: brul...@crm.umontreal.ca

Generally speaking, they need the order faxed, but it never got through, so I just sent them a word file;

what they asked for was my address and credit card information so they could charge it.

-Vlad

2009/10/9 Jason Dusek <jason...@gmail.com>

--
Thanks,
-Vlad