Functional and Declarative Programming in Education (FDPE05)
A one day workshop at ICFP05
Sunday, 25 September 2005, Tallin, Estonia
http://www.cs.kent.ac.uk/~sjt/fdpe05/
SECOND CALL FOR SUBMISSIONS
Overview
Functional and declarative programming plays an important role in
computing e
Dear Haskell users,
I'm happy to announce the release of version 2 of my command line
parsing module.
This is mainly a restructuring release adding only a minor (but
convenient) feature.
Thus the news:
* Adds a short-cut function 'stdargs' for standardized handling of
--help etc.
* Module
On 5/10/05, Tobe <[EMAIL PROTECTED]> wrote:
> Hi peeps !
>
> I got a serious problem here :-)
> ..
> main = withSocketsDo (
> do
> socket <- listenOn (PortNumber 9900)
> print "Server online"
>
Hi peeps !
I got a serious problem here :-)
..
main = withSocketsDo (
do
socket <- listenOn (PortNumber 9900)
print "Server online"
loop socket)
loop socket =
do
Functional and Declarative Programming in Education (FDPE05)
A one day workshop at ICFP05
Sunday, 25 September 2005, Tallin, Estonia
http://www.cs.kent.ac.uk/~sjt/fdpe05/
SECOND CALL FOR SUBMISSIONS
Overview
Functional and declarative programming plays an important role in
computing e
Ashley Yakeley wrote:
In article
<[EMAIL PROTECTED]>,
David Menendez <[EMAIL PROTECTED]> wrote:
data Vec 0 a = Nil
data Vec s v a = Cons a (v a)
Some aliases for convenience:
type Vec 1 = Vec s Vec 0
type Vec 2 = Vec s Vec 1
type Vec 3 = V
In article
<[EMAIL PROTECTED]>,
David Menendez <[EMAIL PROTECTED]> wrote:
> > data Vec 0 a = Nil
> > data Vec s v a = Cons a (v a)
>
> Some aliases for convenience:
>
> > type Vec 1 = Vec s Vec 0
> > type Vec 2 = Vec s Vec 1
> > type Vec 3 = Vec s Vec 2
> > type Vec 4 = Vec s Vec 3
I don't
Shae Matijs Erisson writes:
> Einar Karttunen's network-alt supports IPv6, datagram, and more:
> http://www.cs.helsinki.fi/u/ekarttun/network-alt/
Duh, I didn't even know this library existed! Thanks for the
pointer.
Judging from a quick glance, the code seems to marshal the
POSIX API:
type