On 29 July 2011 01:18, Greg Meredith lgreg.mered...@biosimilarity.com wrote:
Biosimilarity LLC is looking for a the next Merlin! We need an artiste with
a certain taste and technical instinct that have attracted them to next
generation functional programming languages and other high magic. We
On 29 July 2011 16:14, Christopher Done chrisd...@googlemail.com wrote:
On 29 July 2011 01:18, Greg Meredith lgreg.mered...@biosimilarity.com wrote:
Biosimilarity LLC is looking for a the next Merlin! We need an artiste with
a certain taste and technical instinct that have attracted them to
It is not possible in Haskell, moreover it seems to be too alien to Haskell.
Nevertheless, is there an extension which would allow to write a function that
returns the type of its argument?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
* Grigory Sarnitskiy sargrig...@ya.ru [2011-07-29 21:54:05+0400]
It is not possible in Haskell, moreover it seems to be too alien to Haskell.
Nevertheless, is there an extension which would allow to write a function
that returns the type of its argument?
Sounds like you want typeOf.
On Fri, Jul 29, 2011 at 12:54 PM, Grigory Sarnitskiy sargrig...@ya.ru wrote:
It is not possible in Haskell, moreover it seems to be too alien to Haskell.
Nevertheless, is there an extension which would allow to write a function
that returns the type of its argument?
What sort of problem are
Is there a collection of laws associated with the Foldable class? Or for
Traversable? - Conal
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Fri, Jul 29, 2011 at 1:15 PM, Conal Elliott co...@conal.net wrote:
Is there a collection of laws associated with the Foldable class? Or for
Traversable? - Conal
Judging by the documentation in the source, I think all the laws are in
terms of 'toList'...
On Fri, 29 Jul 2011, Conal Elliott wrote:
Is there a collection of laws associated with the Foldable class? Or for
Traversable? - Conal
Recently I asked the same question:
http://www.haskell.org/pipermail/libraries/2011-June/016429.html
and got the answer:
Hi,
On Jul 29, 2011, at 10:15 PM, Conal Elliott wrote:
Is there a collection of laws associated with the Foldable class? Or for
Traversable? - Conal
if you are not aware of The essence of the Iterator pattern by Jeremy Gibbons
and Bruno Oliveira
http://www.cs.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf
Interesting. However I don't understand why the instance in Section
5.5 is not already forbidden by the purity law
traverse pure = pure
and a 'no duplication' constraint would be necessary. For example:
traverse Id
On Jul 30, 2011, at 12:40 AM, Sebastian Fischer wrote:
Interesting. However I don't understand why the instance in Section
5.5 is not already forbidden by the purity law
traverse pure = pure
and a 'no duplication' constraint would be necessary. For example:
traverse Id [1,2,3] =
What am I missing?
I suspect you missed the use of const
Doh! I completely overlooked that it's about duplication of *effects*.
Thanks,
Sebastian
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
12 matches
Mail list logo
