qEaCw&bvm=bv.487 05608,d.ZGU
Using Mac OS X 10.6, Chrome and Safari
Is it me, or is there a wider problem ?
--------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Foundations & Methods Researc
haps?
>
> Regards,
> Dominique
>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
Andre
Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Foundations & Methods R
o TeX/LaTeX is out then :-(
--------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Foundations & Methods Research Group
Director of Teaching and Learning - Undergraduate,
School of Computer Scienc
ow/up/sideways scheme you guys come up with...
On 5 Apr 2013, at 16:22, Aleksey Khudyakov wrote:
> On 5 April 2013 12:20, Andrew Butterfield
> wrote:
>>
>> On 4 Apr 2013, at 22:53, Aleksey Khudyakov wrote:
>>
>>> If we are going to change haddock syntax we shoul
ded
+1 in any case
>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
------------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head
Ah yes - the joy of Haskell
It so easy to roll your own, rather than search to find someone else's
(better/more elegant) solution... :-)
On 2 Aug 2012, at 11:41, Erik Hesselink wrote:
> On Thu, Aug 2, 2012 at 12:30 PM, Andrew Butterfield
> wrote:
>>
>> On 2 A
ess the
>> namespacing issues with records, but it is
>> likely nicely orthogonal to other proposals
>> which do.
>>
>> Also note that there's a package on hackage [1]
>> that will generate SEC functions using TH.
>> It's nice, but I prefer the style of field
>> names used above for upd
t; Note, that the reflectivity is important.
>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
An
basic
of a lot of their formal hardware verification process...
http://www.cs.ox.ac.uk/tom.melham/res/forte.html
>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Fo
haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
--------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Foundations & Methods Research Group
Director of Teaching and Learning - Undergraduate,
School of Comput
Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
--------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Foundations & Metho
afe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
--------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Foundations & Methods Research Group
Director of Teaching and Learning - Undergraduate,
School of Computer Science and Sta
mil
>
>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
Andrew Butterfield Tel: +353-1-896-2517
t; ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
----
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
.haskell.org/mailman/listinfo/haskell-cafe
------------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Foundations and Methods Research Group Director.
School of Computer Science and Statistics,
Room F.13, O'Reilly Institute, Trinity College, University of Dublin
though
the web-page did not mention WIndows 7 - it seems to work just fine.
On 8 Oct 2010, at 09:07, Andrew Butterfield wrote:
>
> I hope to try this program out on Win 7 later today - I'll let you know how I
> got on...
>
Andrew Butterfield
andrew.butt
and gtk2hs.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
-------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Foundations and Methods Research Group Direct
On 30 Sep 2010, at 12:02, Serguey Zefirov wrote:
> 2010/9/30 Andrew Coppin :
>> And even then, your
>> developed application will only run on Windows boxes that have GTK+
>> installed (i.e., none of them).
>
> You can copy GTK+ DLLs with application.
Works fine with wxHaskell as well
>
> It w
On 29 Sep 2010, at 20:34, Steve Schafer wrote:
>
> This is an attitude that just doesn't fly in the Windows world. Which is
> unfortunate, because the Windows market is HUGE compared to OS X, and
> STUNNINGLY HUGE compared to everything else.
>
> The fix isn't going to be to find a developer wh
Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
------------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Foundations and Methods Research Group Director.
nly gets
evaluated once
If you pass the function and argument in then a new thunk is built each
time around
(unless the optimiser nabbles it...)
/M
[1]: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/timeit
[2]:
--
--------
And no, I won't upgrade GHC just yet (this is the latest GHC/wxHaskell
combo that works for me with GHCi...)
--
--------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Foundations and Methods Research Group
it's even bigger than those !
He is thinking of proper classes, not sets.
http://en.wikipedia.org/wiki/Class_(set_theory)
--
--------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Foundations and Methods
account.
or http://www.random.org/ perhaps ?
--
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Foundations and Methods Research Group Director.
School of Computer Science and Statistics,
Room F.13
on of state transformers.
--
--------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Foundations and Methods Research Group Director.
School of Computer Science and Statistics,
Room F.13, O'Reilly Institute,
Benjamin L. Russell wrote:
Not all students and researchers can afford a Personal
License. Can you recommend an alternative, fast
Prolog development system under a free licensing
agreement, such as GPL/GLPL?
For Mac users, https://www.cs.tcd.ie/open-prolog/ might be worth a look
Stefan O'Rear wrote:
On Wed, Feb 06, 2008 at 08:57:43PM +0000, Andrew Butterfield wrote:
In Clean, we not only have explicit access to the world, but
we can partition it. Simplifying somewhat, we could open up
pairs of file-handle (f1.in,f1.out), (f2.in,f2,out) ... (fn.in,fn.out),
which
Andrew Butterfield wrote:
let m denote the "list monad" (hypothetically). Let's instantiate:
return :: x -> [x]
return x = [x,x]
(>>=) :: [x] -> (x -> [y]) -> [y]
xs >>= f = concat ((map f) xs)
Let g n = [show n]
Here (return 1 >>= g ) [1,
;3"],
thus violating the first monad law | return
<http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v:return>
a >>=
<http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v:>>=>
f = f a
|
A
27;s worth noting that list and maybe monads can
be introduced in Clean, but these would have nothing to do with the
I/O infrastructure in that language.
--
--------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Found
parallel execution of I/O actions is possible with
uniqueness types, but not epxressible in the monadic world as
currently formulated.
(3) Shameless plug : a semantics for I/O that covers both Clean and
Haskell and which scopes out the "deterministic parallelism" alluded to
a
ooks like yet another case of the lazy-I/O goblins.
Yes, but not quite what everyone has being addressing
--
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Foundations and Methods Research Group Director.
Course Director, B.A. (Mod.) in CS and ICT degrees, Year 4.
. Andrew Butterfield (http://www.cs.tcd.ie/Andrew.Butterfield/)
Course Director, B.A. (Mod.) Information & Communications Technology
Dept.of Computer Science, Trinity College, Dublin University
Tel: +353-1-608-2517, Fax: +353-1-677-
36 matches
Mail list logo
