One very nice example of a higher-order algorithm is the notion of region
(i.e. Point - Bool) defined in Hudak's paper, that is using functions as
data structures...
Hi Michael,
I'm a graduate student (male) and am looking for a (male) roommate to
split the cost of a hotel room at ICFP.
[...] I currently have a reservation at the conference hotel
If you don't find a roommate and can cancel your reservation you may
consider staying somewhere else. For
On 27/08/10 23:45, sylvain wrote:
Other sources show growing interest in Haskell (much to the dismay of
our favorite motto).
Would you accept to refer to these other sources?
One interesting one is http://www.itjobswatch.co.uk/jobs/uk/haskell.do
Paul.
On Sun, 29 Aug 2010 13:08:48 -0400, Gregory Collins wrote:
Gregory Collins g...@gregorycollins.net writes:
...sigh... The programs link fine without it part is a partial lie.
Anything that the C linker links (i.e. executables) works fine without
an explicit -lgcc_s, but ghci and compilations
Regardless, you'd think Cabal could provide some way to make it easy to
state where the files it needs actually are. Currently it does not.
Well, it uses ghc-pkg to record where the various libraries, etc. are.
Otherwise, it could be that none of the Cabal developers are really
that
Stephen Tetley wrote:
Windows has a standard place for header files
path-to-MinGW\MinGW\include
Isn't that MinGW has a standard place for header files?
I'm guessing if you use DJGPP or MS VisualStudio or Borland C++, it's
not going to look there (unless you tell it to).
Hi all,
I am very interested in haskell and most of related things and as I know
there are a lot of things to do for haskell world. I have rather small, as I
think, expirience with haskell: I've worked with Language.C, alex, happy,
parsec and some other stuff that I haven't looked though
crazy.fizruk:
Hi all,
I am very interested in haskell and most of related things and as I know there
are a lot of things to do for haskell world. I have rather small, as I think,
expirience with haskell: I've worked with Language.C, alex, happy, parsec and
some other stuff that I haven't
On 8/29/10 1:33 PM, Gábor Lehel wrote:
Another thing I'm wondering about is that there's a fairly intuitive
correspondence between functions at the value level vs. functions at
the type level, and datatypes to classify the value level vs.
datakinds to classify the type level, but what
I would like to specify that a function takes implicit parameters, without
specifying its full return type. My main motivation for this is my xmonad
config file and the attempt to remove the need for NoMonomorphismRestriction
and some of the code smell associated with global variables that wafts
Hi all,
I'll probably have to be doing web stuff soon. And I think I would like
to be using JavaScript far more than I have in the past. So I'm thinking
about using Haskell (HJscript) to generate it for me.
How does on go about learning how to use HJscript? Are there any
examples /
On 30 August 2010 11:26, Andrew Coppin andrewcop...@btinternet.com wrote:
Stephen Tetley wrote:
Windows has a standard place for header files
path-to-MinGW\MinGW\include
Isn't that MinGW has a standard place for header files?
Strictly speaking its Haskell-on-Windows has a standard place
Hello,
perhaps I am just blind or is it a difficult issue: I would like to
generate Char values in a given Range for QuickCheck2. There is this
simple example from the haskell book:
instance Arbitrary Char where
arbitrary = elements (['A'..'Z'] ++ ['a' .. 'z'] ++ ~...@#$%^*())
This does not
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 8/30/10 09:21 , Alex Rozenshteyn wrote:
I would like to specify that a function takes implicit parameters, without
specifying its full return type. My main motivation for this is my xmonad
config file and the attempt to remove the need for
You can create a wrapper with a newtype and then define an instance for that.
newtype Char2 = Char2 Char
instance Arbitrary Char2 where
arbitrary = ...
You'll have to do some wrapping and unwrapping when calling your
properties to get/set the underlying Char, but this is probably the
easiest
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 8/30/10 06:26 , Andrew Coppin wrote:
Stephen Tetley wrote:
path-to-MinGW\MinGW\include
Isn't that MinGW has a standard place for header files?
I'm guessing if you use DJGPP or MS VisualStudio or Borland C++, it's not
going to look there
Gabriel Wicke wi...@wikidev.net writes:
On Sun, 29 Aug 2010 13:08:48 -0400, Gregory Collins wrote:
After some more off-list discussion with Gregory (thanks for your help!) I
split out the atomic operations to the bits-atomic package [1] which no longer
depends on libgcc_s. GCC produces
Define a custom element generator, which has characters with your
desired values:
myRange :: Gen Char
myRange = elements (['A'..'Z'] ++ ['a' .. 'z'] ++ ~...@#$%^*())
You can use forAll to run tests with a specific generator:
forAll myRange $ \c - chr (ord c) == c
On Mon, Aug 30, 2010 at
I'm just trying these examples, and I can't figure out how to import
quickcheck2 rather than quickcheck1. I've looked around but I can't
seem to find any information on this. How do I do it?
Thanks!
On Mon, Aug 30, 2010 at 11:56 PM, John Millikin jmilli...@gmail.com wrote:
Define a custom
Update your cabal package list, and then install QuickCheck.
Optionally, you can use a version specifier:
cabal update
cabal install 'QuickCheck = 2'
This should make QuickCheck 2 the default in GHCI. If it doesn't, you
may need to specify the version:
ghci -package QuickCheck-2.2
Thanks!
This makes perfect sense, but as I just discovered using ghci -v there
is an even stranger problem. I'm side-tracking slightly from the
original question here, but nevertheless...
GHC gives the following output:
---
GHCi, version 6.12.3: http://www.haskell.org/ghc/ :? for help
command
Hi guys,
I'm running a meetup for functional programming in Edinburgh. The
first one will be on the 13th of September at Malone's Irish Bar (14
Forrest Road) and will continue every 2nd monday of each month. For
the first meetup I think we'll just be having a chat and getting to
know each other
Looks good! I shall try to make it along. I'll have just come from my
SICP study group at that point so will want some statically typed chat
to soothe the pain :-)
D
On Mon, Aug 30, 2010 at 9:00 PM, Ollie Saunders
oliver.saund...@gmail.com wrote:
Hi guys,
I'm running a meetup for functional
On 31 August 2010 03:18, Lyndon Maydwell maydw...@gmail.com wrote:
Thanks!
This makes perfect sense, but as I just discovered using ghci -v there
is an even stranger problem. I'm side-tracking slightly from the
original question here, but nevertheless...
GHC gives the following output:
Hello All,
In the course of some code I've been working on, I found I needed generic
foldl / foldr over heterogeneous data structures, where I can easily pick
whether I want top down left right, botom up left right, and ___ right
left traversals, and to in tandem sensibly approach if a parent
i'm sorry, the example with the flip list would be
flipList [[1,2],[3,4]] ==[4,3,2,1]
On Mon, Aug 30, 2010 at 10:54 PM, Carter Schonwald
carter.schonw...@gmail.com wrote:
Hello All,
In the course of some code I've been working on, I found I needed generic
foldl / foldr over heterogeneous
26 matches
Mail list logo