Tomas Caithaml wrote:
> Hi all.
>
> When I was playing with Haskell and reading stuff about it, I noticed
> that there is a lot of information in a form of research papers and a
> lot of mathematics involved. I must confess that I quite like this
> academic approach.
>
> Well, I thought that while
On Sun, 2007-09-23 at 23:24 +0200, Tomas Caithaml wrote:
> Hi all.
>
> When I was playing with Haskell and reading stuff about it, I noticed
> that there is a lot of information in a form of research papers and a
> lot of mathematics involved. I must confess that I quite like this
> academic appro
On Sun, 2007-09-23 at 23:24 +0200, Tomas Caithaml wrote:
> I came up with:
Just take the computer science courses that the fewest of your fellow
students see any point to.
More seriously - at my alma mater, the math-oriented computer science
courses would be a better fit. My last one was on uni
Hello Tomas,
Monday, September 24, 2007, 1:24:45 AM, you wrote:
> Any other suggestions?
discrete mathematics and information theory
--
Best regards,
Bulatmailto:[EMAIL PROTECTED]
___
Haskell mailing list
Haskell@haskel
fruehr:
> Mathematical logic would be a good thing to study if you haven't
> already, especially if you can take something as specific as
> intuitionistic / constructive / substructural logic. The Curry-Howard
> correspondence lurks underneath a lot of Haskell intuitions and
> techniques.
>
Mathematical logic would be a good thing to study if you haven't
already, especially if you can take something as specific as
intuitionistic / constructive / substructural logic. The Curry-Howard
correspondence lurks underneath a lot of Haskell intuitions and
techniques.
-- Fritz
On S
On 23/09/2007, Albert Y. C. Lai <[EMAIL PROTECTED]> wrote:
> Tomas Caithaml wrote:
> > Any other suggestions?
>
> I don't think topology is much needed for Haskell. Whatever little is
> needed manifests as lattice theory already. Topology has other uses in
> CS, but take note that topological space
Albert Y. C. Lai wrote:
> Tomas Caithaml wrote:
>> Any other suggestions?
>
> Lattice theory. Actually just the part about "continuous partial
> orders" and "least fixed points" suffice. It is hard to find a math
> course on lattice theory that spends time on continuous partial
> orders; it is easi
Tomas Caithaml wrote:
Any other suggestions?
Lattice theory. Actually just the part about "continuous partial orders"
and "least fixed points" suffice. It is hard to find a math course on
lattice theory that spends time on continuous partial orders; it is
easier to find a CS course on denota
Hi all.
When I was playing with Haskell and reading stuff about it, I noticed
that there is a lot of information in a form of research papers and a
lot of mathematics involved. I must confess that I quite like this
academic approach.
Well, I thought that while I am still at university I could tak
10 matches
Mail list logo
