Hello,
I was wondering if there is a trick for generating a new STArray from a list
in such a way that you do not have to hold both the list and array in
memory?
http://www.haskell.org/ghc/docs/latest/html/libraries/array-0.3.0.0/Data-Array-MArray.html
As far as I can tell, that is the interface
On Thu, Feb 11, 2010 at 9:35 AM, Job Vranish wrote:
> Anyone know of a type inference utility that can run right on haskell-src
> types? or one that could be easily adapted?
> I want to be able to pass in an HsExp and get back an HsQualType. It
> doesn't have to be fancy, plain Haskell98 types wo
Hello,
I wanted the takusen sources as I may want to add features. I looked on
hackage and it lists this url for the repository:
http://darcs.haskell.org/takusen
I get a 404 on that URL.
I checked Oleg's website:
http://okmij.org/ftp/Haskell/misc.html#takusen
And the links on that page have si
On Fri, Feb 12, 2010 at 3:24 PM, Brandon S. Allbery KF8NH <
allb...@ece.cmu.edu> wrote:
> On Feb 12, 2010, at 18:17 , Jason Dagit wrote:
>
> I wanted the takusen sources as I may want to add features. I looked on
> hackage and it lists this url for the repository:
> htt
On Tue, Feb 16, 2010 at 12:17 AM, Marc Weber wrote:
>
> > Any help on how to load the .h is greatly appreciated. I tried -i
> > with
> > path to the src directory but it didn't work (should it?).
> Try -I -i is used for .hs files only (?).
>
This seems like a missing feature in cabal or ghci
On Sun, Feb 28, 2010 at 6:31 AM, Yves Parès wrote:
>
> Hello!
>
> I have a class Drawable, and some datatypes which are instances of it, and
> I
> would like to be able to draw them all at once!
> drawMany window [image, text, otherImage]
>
> I think the type of the function drawMany would be:
>
On Wed, Mar 3, 2010 at 12:26 PM, Maciej Piechotka wrote:
> How do you set up Windows environment? I'd like to develop few
> platform-specific code or rather port it to this platform.
>
> I tried to set up environment but I failed (darcs hanging on copy via
> ssh, command line is... well slightly b
On Thu, Mar 4, 2010 at 11:10 AM, Don Stewart wrote:
> cjs:
> > On 2010-03-01 19:37 + (Mon), Thomas Schilling wrote:
> >
> > > A possible workaround would be to sprinkle lots of 'rnf's around your
> > > code
> >
> > As I learned rather to my chagrin on a large project, you generally
> > do
On Wed, Mar 10, 2010 at 8:50 AM, David Place wrote:
> Hi:
>
> I am running GHC 6.10.4 on Mac OSX 10.6.2. Somehow, I have a broken
> version of Cabal (1.6.0.3) installed.
In what was is it broken? A co-worker of mine had problem recently where
her cabal was giving "Bus error" whenever it trie
On Thu, Mar 11, 2010 at 3:44 PM, Arnoldo Muller wrote:
> Daniel,
>
> Thank you so much for helping me out with this issue!
>
> Thanks to all the other answers from haskel-cafe members too!
>
> As a newbie, I am not able to understand why zip and map would make a
> problem...
>
> Is there any link
On Wed, Mar 10, 2010 at 2:03 PM, Arnoldo Muller wrote:
> Hello Justin,
>
> I tried and what I saw was a constant increase in memory usage.
> Any particular profiling option that you would use?
>
A great place to get started with profiling is the chapter in Real-World
Haskell:
http://book.realworl
On Sun, Mar 14, 2010 at 9:03 AM, david fries wrote:
> Hello Café
>
> Some time ago I wrote a parser for a project of one our customers. The
> format was proprietary and binary. The data was structured as a tree
> with tables pointing to sub tables farther in the file. (Well actually
> there was o
On Fri, Mar 19, 2010 at 8:15 AM, Ozgur Akgun wrote:
> Hi Cafe!
>
> Disclaimer: I know what I'm going to ask is now available as a language
> feature normally.
>
Did you mean "not available"? I don't know of a Haskell language feature
for this, so if you really did mean "now" then I'd love to le
On Fri, Mar 19, 2010 at 2:17 PM, Vasyl Pasternak
wrote:
> Hello Cafe.
>
> Today I stuck with the following problem: I want to read a file with
> iteratee package, and but it to database through Takusen package, but
> it doesn't work. The `Takusen` was built with `mtl` package, and
> `iteratee` - w
On Fri, Mar 19, 2010 at 5:10 PM, Ivan Lazar Miljenovic <
ivan.miljeno...@gmail.com> wrote:
> Heinrich Apfelmus writes:
> > Ivan Miljenovic wrote:
> >> Also, there's a haskell-beginners mailing list. You may wish to post
> >> there rather than asking us every question you get whilst learning
> >>
On Tue, Mar 16, 2010 at 3:12 PM, Phil wrote:
> On 16/03/2010 01:05, Phil wrote:
>
> Scrap my original query - the problem isn't as black & white as I thought.
>
> The below works fine - I've changed the response type from json to xml
> strange, but for some reason downloading json doesn't wo
On Sat, Mar 20, 2010 at 3:32 AM, Vasyl Pasternak
wrote:
> Hi Cafe,
>
> I have another problem, please look at code:
>
> storeInDb = withSession (connect "test.db")
> (do
> execDDL (sql "create table x (y int)")
> forM_ ([1..1] :: [Int])
>
Hello,
I was trying to figure out if hGetLine is safe to use inside of
withFile. Specifically, I want to return the line I read and use it
later, without inspecting it before withFile calls hClose.
If you want to understand the concern I have, look here:
http://www.haskell.org/haskellwiki/Mainta
On Thu, 2010-03-25 at 16:13 +, Simon Marlow wrote:
> On 25/03/2010 15:40, Jason Dagit wrote:
> > Hello,
> >
> > I was trying to figure out if hGetLine is safe to use inside of
> > withFile. Specifically, I want to return the line I read and use it
> > la
On Thu, 2010-03-25 at 21:38 +, Simon Marlow wrote:
> On 25/03/10 17:07, Jason Dagit wrote:
> > On Thu, 2010-03-25 at 16:13 +, Simon Marlow wrote:
> >> On 25/03/2010 15:40, Jason Dagit wrote:
> >>> Hello,
> >>>
> >>> I was try
On Fri, Mar 26, 2010 at 10:46 AM, Rafael Cunha de Almeida <
almeida...@gmail.com> wrote:
> Hello,
>
> During a talk with a friend I came up with two programs, one written in
> C and another in haskell.
>
> Haskell
>main :: IO ()
>main = print $ rangeI 0 0
>
>rangeK :: Int -
On Fri, Mar 26, 2010 at 2:33 PM, Bryan O'Sullivan wrote:
> On Fri, Mar 26, 2010 at 10:46 AM, Rafael Cunha de Almeida <
> almeida...@gmail.com> wrote:
>
>>
>> During a talk with a friend I came up with two programs, one written in
>> C and another in haskell.
>
>
> Your Haskell code builds a huge t
On Sat, Mar 27, 2010 at 9:05 AM, Daniel Fischer wrote:
> -Ursprüngliche Nachricht-
> Von: "Günther Schmidt"
> Gesendet: 27.03.2010 16:14:57
> An: haskell-cafe@haskell.org
> Betreff: [Haskell-cafe] Are there any female Haskellers?
>
> >Hi all,
> >
> >from the names of people on the list it
On Sat, Mar 27, 2010 at 3:25 AM, Neil Mitchell wrote:
> Hi John,
>
> Any chance of seeing the benchmark? You're not the only one with an
> optimising compiler tucked away somewhere :-)
>
Neil, for some reason John's reply didn't thread with the rest of the
thread. Probably because he changed th
On Sat, Mar 27, 2010 at 3:14 AM, Colin Paul Adams
wrote:
> Has anyone ever written a server in Haskell for managing live
> game-playing (any game) across the internet?
>
I haven't yet, but I saw someone had a simple MUD-like game engine a few
years ago. I don't know if Frag supports network play
On Sat, Mar 27, 2010 at 9:11 PM, Chris Dornan wrote:
> Hi,
>
>
>
> I am choosing a Linux distribution for a production Haskell project and
> would would normally just go with Debian (pedigree, stability, and of course
> Haskell Platfom included) but CentOS is in the frame.
>
>
>
> Are there any p
On Sat, Mar 27, 2010 at 2:42 PM, michael rice wrote:
> Hi Ketil,
>
> Good point, but I think it side-steps the question. Haskell coughs on a
> data value. Do we grep our data, finding and fixing the offender, or build
> extensive data tests into our application code?
>
I'm not convinced I unders
2010/3/28 Pekka Enberg
> 2010/3/28 Günther Schmidt :
> > This is definately a point where we will continue to disagree. I found
> > myself assuming that there are no female haskellers and wanted to verify
> it
> > by asking for data.
>
> So what exactly is off-topic for this list? Is unsubscribi
On Sun, Mar 28, 2010 at 8:29 PM, wren ng thornton wrote:
> Jon Fairbairn wrote:
>
>> Another (provocative) observation is that most of the women
>> programmers I've known were good at it and thought they might
>> not be, but most of the men claimed to be good at it but
>> were not.
>>
>
> I've ob
On Sun, Mar 28, 2010 at 4:53 AM, Joachim Breitner wrote:
> Hi,
>
> Am Sonntag, den 28.03.2010, 09:04 +0100 schrieb Magnus Therning:
> > I have to say it looks like Debian has gotten their act together
> > somewhat when it comes to Haskel development. Many of the reasons for
> > my deserting Debia
On Mon, Mar 29, 2010 at 7:37 PM, ryan winkelmaier wrote:
> Hey everyone,
>
> I'm looking for help with a seg fault that takes out both my ghci and darcs
> as well as anything that uses haskeline. A bug on the haskeline trac hasn't
> gotten any response so I figured I might as well figure this out
On Wed, Mar 31, 2010 at 7:21 AM, Simon Marlow wrote:
> On 30/03/2010 20:57, Mihai Maruseac wrote:
>
> I'd like to introduce my idea for the Haskell GSOC of this year. In
>> fact, you already know about it, since I've talked about it here on
>> the haskell-cafe, on my blog and on reddit (even on
On Thu, Apr 1, 2010 at 7:10 PM, Ivan Lazar Miljenovic <
ivan.miljeno...@gmail.com> wrote:
> Don Stewart writes:
> > Portability? You already have GHC on the machine, right? You don't
> > necessarily need the GHC API to get something prototyped quickly.
>
> I meant in the sense of writing this as
On Thu, Apr 1, 2010 at 6:13 PM, Rogan Creswick wrote:
> On Thu, Apr 1, 2010 at 3:52 PM, Thomas Tuegel wrote:
> >
> > At this point, the package author need only run:
> >
> > $ ./Setup configure
> > $ ./Setup build
> > $ ./Setup test
>
> My general feeling has been that Setup is being discouraged
On Sat, Apr 3, 2010 at 7:29 AM, Maur Toter wrote:
> Hey,
>
> thanks for the help!
>
> Yes it is part of a homework that I can't find out (I am fine with other
> parts).
> This is not the homework itself, just the part of it and I needed help with
> it, thanks for that!
> I would like to understan
On Sun, Feb 21, 2010 at 9:11 AM, Thomas DuBuisson <
thomas.dubuis...@gmail.com> wrote:
> > How do I tell Cabal to install the necessary code?
>
> set:
> "library-profiling: True"
>
> in your ~/.cabal/config file and never deal with this again (for any
> new packages you install). use --reinstall
On Mon, Apr 5, 2010 at 12:27 PM, Jacques Carette wrote:
> Don Stewart wrote:
>
>> I think we don't see as much metaprogramming because of other language
>> features -- laziness, operator syntax, and type classes -- make a bunch
>> of common designs work without needing metaprogramming.
>>
>>
> Whi
On Tue, Apr 6, 2010 at 5:49 PM, Thomas Schilling wrote:
> Ok, based on both your and Ivan's comments I modified a bit more.
>
> http://i.imgur.com/cumLj.png
>
> Making the top columns and the lower columns the same width looks bad,
> but I agree that the large margin between the blurb and the
> Do
2010/4/7 Chris Casinghino
> Greetings,
>
> I am very pleased to officially announce Hac phi 2010, a Haskell
> hackathon/get-together to be held May 21-23 at the University of
> Pennsylvania in Philadelphia. The hackathon will officially kick off
> at 2:30 Friday afternoon, and go until 5pm on Su
On Wed, Apr 7, 2010 at 2:57 PM, Malcolm Wallace <
malcolm.wall...@cs.york.ac.uk> wrote:
> The platform installer is supposed to erase previous platform
> editions before it installs itself.
>
>>> I would consider that a serious bug.
>>>
>>
>> "Lacking a feature I would consider esse
On Wed, Apr 7, 2010 at 6:06 PM, Nathaniel Neitzke wrote:
> I saw the Google Summer of Code project for using LLVM to cross compile for
> other architectures such as ARM. Professionally I write embedded Linux code
> that targets ARM processors such as the TI DaVinci DM355 and am
> very intrigued b
On Wed, Apr 7, 2010 at 9:08 PM, Tim Docker wrote:
> I'm experimenting with haskell and relational databases. I have
> successfully coupled unixodbc + freetds + hdbc-odbc, and can make
> trivial queries. However, I'm surprised at the result types:
>
> $ ghci
> GHCi, version 6.10.3: http://www.hask
On Wed, Apr 7, 2010 at 9:45 PM, Jason Dagit wrote:
>
> darcs get --lazy http://darcs.haskell.org/takusen
>
Oops. That's a dead link, try this instead:
darcs get --lazy http://code.haskell.org/takusen/
<http://code.ha
On Sun, Apr 11, 2010 at 9:26 AM, Duncan Coutts wrote:
> On Mon, 2010-03-08 at 13:33 +, Maciej Piechotka wrote:
> > While I love Haskell it's packaging system have some problems -
> > especially with parsec.
> >
> > Currently I'm not able to install an practically anything using cabal
> > due
On Sun, Apr 11, 2010 at 1:59 AM, Andrew U. Frank wrote:
> in modeling real application we have often the case that the type of
> some object depends on a value. e.g. small_boat is a vessel with size
> less than a constant. big_boat is a vessel with a larger size. for
> example, many legal classif
On Sun, Apr 11, 2010 at 4:15 PM, Ozgur Akgun wrote:
>
> On 11 April 2010 22:54, Jason Dagit wrote:
>
>>
>>
> ...
>>
>
>>
> class Vehicle a where
>>
>> data Car
>> data Truck
>>
>> instance Vehicle Car where
>> instanc
On Thu, Apr 8, 2010 at 7:29 PM, Doug Burke wrote:
>
> --- On Thu, 4/8/10, Gregory Crosswhite wrote:
>
> > From: Gregory Crosswhite
>
> >
> > On a tangental note, I've considered coding up a package
> > with an "AlmostEq" typeclass that allows one to test for
> > approximate equality. The probl
On Mon, Apr 12, 2010 at 4:00 AM, Duncan Coutts wrote:
> On Sun, 2010-04-11 at 14:28 -0700, Jason Dagit wrote:
>
> > I've noticed another type of diamond dependency problem. Suppose I
> > build and install Foo today and it depends on Bar 2.0.0. In a week, I
> &g
On Mon, Apr 12, 2010 at 4:32 AM, Ben Millwood wrote:
>
> Personally I think this approach is all rather OO. The way that seems
> most natural to me is:
>
> moveVehicleAcrossBridge :: Bridge -> Vehicle -> Maybe Move
> moveVehicleAcrossBridge bridge { maxWeight = max } vehicle { weight = w }
> | w
On Wed, Apr 14, 2010 at 2:13 PM, Gregory Collins wrote:
> Jesper Louis Andersen writes:
>
> > This post describes some odd behaviour I have seen in GHC 6.12.1 when
> writing
> > Combinatorrent. The post is literate Haskell so you can run it. The
> executive
> > summary: A space leak occurs when a
On Wed, Apr 14, 2010 at 2:44 PM, Jason Dagit wrote:
>
>
> On Wed, Apr 14, 2010 at 2:13 PM, Gregory Collins
> wrote:
>
>> Jesper Louis Andersen writes:
>>
>> > This post describes some odd behaviour I have seen in GHC 6.12.1 when
>> writing
>> &
On Wed, Apr 14, 2010 at 3:13 PM, Daniel Fischer wrote:
> Am Mittwoch 14 April 2010 23:49:43 schrieb Jason Dagit:
> > > It will be interesting to hear what fixes this!
> > >
> > >
> > > forever' m = do _ <- m
> > > forever
On Tue, Apr 13, 2010 at 3:47 AM, Erik de Castro Lopo
> wrote:
> Daniel Fischer wrote:
>
> > Am Dienstag 13 April 2010 09:29:18 schrieb Erik de Castro Lopo:
> >
> > > Anyone else have the same problem?
> >
> > I have that problem with my hackage (Cabal/cabal-install) trac account
> > (Firefox, Sea
2010/4/15 Станислав Черничкин
> I'm having trouble building regex-posix for Windows under MinGW because
> MinGW does not include regex.h. As far as I know Haskell Platform uses MinGW
> and it includes regex-posix. I'd like to build regex-posix by myself, like
> Haskell Platform does. I would app
On Fri, Apr 16, 2010 at 2:51 PM, Jesper Louis Andersen <
jesper.louis.ander...@gmail.com> wrote:
> On Thu, Apr 15, 2010 at 1:33 AM, Daniel Fischer
> wrote:
> >>
> >> Can some core expert please look at these and explain the difference?
> >>
> >
> > I'm interested in an explanation too.
> >
>
> +1
On Fri, Apr 16, 2010 at 8:32 PM, Ben wrote:
> hello --
>
> this is mostly a question for roman, or don, i guess. suppose i have
> a list of similarly-sized vectors, and i want to add them up (possibly
> with coefficients), to yield a result vector. something like
>
> module Main where
>
> impor
On Fri, Apr 16, 2010 at 8:35 PM, C K Kashyap wrote:
> I am a little surprised by the "shortcomings" of Haskell mentioned in the
> thread.
>
> I was under the impression that Haskell was closest to Nirvana on the
> usefulness vs safety graph.
>
> In the paper "Why FP matters" - Laziness is stated
On Mon, Apr 19, 2010 at 3:01 AM, Daniil Elovkov <
daniil.elov...@googlemail.com> wrote:
> Hello haskellers!
>
> I'm trying to process an xml file with as little footprint as possible. SAX
> is alright for my case, and I think that's the lightest way possible. So,
> I'm looking at HaXml.SAX
>
> I'm
On Sun, Apr 18, 2010 at 10:25 AM, Sean Leather wrote:
>
>
>> This is the annoying part about Haskell . I can not understand composition
>> .
>>
>
> One of the ways of understanding composition (and many other functions in
> Haskell) is by trying to understand its type. Here it is shown by looking
On Fri, Apr 23, 2010 at 11:34 AM, John Goerzen wrote:
>
> A one-character change. Harmless? No. It entirely changes what the
> function does. Virtually any existing user of that function will be
> entirely broken. Of particular note, it caused significant breakage in the
> date/time handling
On Fri, Apr 23, 2010 at 4:49 PM, Don Stewart wrote:
> ivan.miljenovic:
> > Don Stewart writes:
> >
> > > I'll just quickly mention one factor that contributes:
> > >
> > > * In 2.5 years we've gone from 10 libraries on Hackage to 2023
> (literally!)
> > >
> > > That is a massive API to try t
On Thu, Apr 29, 2010 at 12:38 AM, Ketil Malde wrote:
>
> Don Stewart writes:
>
> > http://shootout.alioth.debian.org/u64q/haskell.php
>
> Observations:
>
> Although we're mostly beaten on speed, and about the same on code size,
> we're using a lot less memory than Java.
>
> As for code size, the
2010/4/29 Günther Schmidt
> Hello,
>
> is there some sample code on how to use the Graphics.Win32.GDI.Clip?
>
That part of the library is fairly low level and has a mostly one-to-one
correspondence to the C API. This means that you should be able to more or
less read an example of how to do it
2010/4/29 Günther Schmidt
> Dear Jason,
>
> I'd be happy not having to dig in deeply. Do you happen to know a "higher"
> level one?
>
Sorry, I don't. The only thing I used GDI for was rendering fonts with
transparency when I worked for a company that did some very special font
applications. I
On Fri, Apr 30, 2010 at 11:08 PM, Ivan Lazar Miljenovic <
ivan.miljeno...@gmail.com> wrote:
>
>
> You're putting the constraint in the wrong places: put the "(Cls a) => "
> in the actual functions where you need it.
>
That's solid advice in general, but it's still not going to work here if any
of
On Fri, Apr 30, 2010 at 11:30 PM, Jason Dagit wrote:
>
>
> On Fri, Apr 30, 2010 at 11:08 PM, Ivan Lazar Miljenovic <
> ivan.miljeno...@gmail.com> wrote:
>>
>>
>> You're putting the constraint in the wrong places: put the "(Cls a) => "
>&
On Fri, Apr 30, 2010 at 11:53 PM, Ivan Lazar Miljenovic <
ivan.miljeno...@gmail.com> wrote:
> Jason Dagit writes:
>
> > On Fri, Apr 30, 2010 at 11:08 PM, Ivan Lazar Miljenovic <
> > ivan.miljeno...@gmail.com> wrote:
> >>
> >>
> >> You
On Sat, May 1, 2010 at 12:23 AM, Ivan Lazar Miljenovic <
ivan.miljeno...@gmail.com> wrote:
> Hmmm this is an interesting way of doing it, but I would argue that
> it's pointless: the fact that you're using MPTCs doesn't give you
> anything extra that the original class. Furthermore, as I said
On Sat, May 1, 2010 at 12:49 AM, Ivan Lazar Miljenovic <
ivan.miljeno...@gmail.com> wrote:
> Jason Dagit writes:
>
> > On Sat, May 1, 2010 at 12:23 AM, Ivan Lazar Miljenovic <
> > ivan.miljeno...@gmail.com> wrote:
> >
> >> Hmmm this is an intere
On Mon, May 3, 2010 at 2:21 PM, Chris Eidhof wrote:
> Hey everyone,
>
> After I upgraded to a newer cabal-install my cabal-install broke again: I
> get a Bus Error when doing "cabal update" or "cabal install something". The
> version that was bundled with the Haskell platform worked fine, but now
On Thu, May 6, 2010 at 2:15 AM, Malcolm Wallace <
malcolm.wall...@cs.york.ac.uk> wrote:
> http://{code,community,projects}.haskell..org/ seem to be inaccessible.
>
> Could someone please look into it?
>
For me, it seems to be down everyday around 5-6pm (0700-0800 UTC) which
>
On Fri, May 7, 2010 at 2:29 AM, Nicolas Pouillard <
nicolas.pouill...@gmail.com> wrote:
> On Thu, 06 May 2010 01:08:08 +0200, Günther Schmidt
> wrote:
> > Hello,
> >
> > I'm switching from darcs to mercurial with some of my projects.
> >
> > I'd like to retain as much of the history as possible,
On Mon, Dec 28, 2009 at 9:03 AM, Aaron Tomb wrote:
>
> On Dec 22, 2009, at 9:36 PM, wren ng thornton wrote:
>
> Aaron Tomb wrote:
>>
>>> I've come across the issue with iconv, as well.
>>> The problem seems to be that some versions of iconv define iconv_open and
>>> some related functions as mac
On Wed, May 12, 2010 at 8:15 PM, Aran Donohue wrote:
> Hi Cafe,
>
> I have a program that I can reliably cause to hang. It's concurrent using
> STM, so I think it could be a deadlock or related issue. I also do some IO,
> so I think it could be blocking in a system call. It only hangs when
> compi
On Wed, May 12, 2010 at 10:05 PM, Don Stewart wrote:
> martin:
> > hi,
> >
> > since i got no answer from the maintainer, maybe someone else can take
> > care of it, or at least point out, what i did wrong.
> >
> > so, i recently stumbled upon some error while using Text.JSON 0.4.3 [1]:
> >
> >
On Thu, May 13, 2010 at 5:53 AM, Aran Donohue wrote:
> Thanks folks! Forward progress is made...
>
> Unfortunately, programs don't seem to write out their threadscope event
> logs until they terminate, and mine hangs until I kill it, so I can't get at
> the event log.
>
> Tracing has taught me tha
On Thu, May 13, 2010 at 3:01 PM, Edgar Z. Alvarenga wrote:
> On Thu, 13/May/2010 at 18:57 +0100, Maciej Piechotka wrote:
>
> > Hmm. What GDAT/existential do you use (for lazy people who do not want
> > to read paper)?
>
> The GADT that I refered was from my faileds attempts.
>
> > How is it progra
2010/5/27 Günther Schmidt
> Hello C,
>
> thank you for explaining.
>
> The funny thing is that I have never seen anybody take this even a single
> step further than you have in your email.
>
> In particular I have not found anything where someone might use church
> encoding to solve a quite pract
On Sat, May 29, 2010 at 9:28 PM, Cory Knapp wrote:
> Hello,
>
> A professor of mine was recently playing around during a lecture with
> Church booleans (I.e., true = \x y -> x; false = \x y -> y) in Scala and
> OCaml. I missed what he did, so I reworked it in Haskell and got this:
>
> >type CB a
On Sun, May 30, 2010 at 1:35 AM, Michael Vanier wrote:
> I stumbled across this monadic combinator:
>
> mcombine :: Monad m => (a -> a -> a) -> m a -> m a -> m a
> mcombine f mx my = do
>x <- mx
>y <- my
>return (f x y)
>
> I used it to chain the outputs of two Parsec String parsers t
On Sun, May 30, 2010 at 4:08 AM, wren ng thornton wrote:
> Jason Dagit wrote:
>
>> In Church's λ-calc the types are ignored,
>>
>
>
> Not so. Church-style lambda calculus is the one where types matter;
> Curry-style is the one that ignores types and evaluates
On Tue, Jun 1, 2010 at 12:40 PM, Cory Knapp wrote:
> Thanks! That was exactly the sort of response I was looking for.
>
> This explains why you need to double up for your current definitions. To
>> choose between two booleans (which will in turn allow you to choose
>> between
>> 'a's), you need a
On Thu, Jun 3, 2010 at 8:14 AM, Gabriel Riba wrote:
> Extending sum types with data constructors would spare runtime errors or
> exception control,
>
> when applying functions to inappropriate branches, as in the example ...
>
> data List a = Nil | Cons a (List a) -- List!Nil and List!Cons
>
On Sat, Jun 5, 2010 at 8:10 PM, Thomas Hartman wrote:
> Here's two implementations of break, a snappy one from the prelude,
> and a slow stupid stateful one.
>
> They are quickchecked to be identical.
>
> Is there a way to prove they are identical mathematically? What are
> the techniques involve
On Tue, Jun 8, 2010 at 4:13 PM, Ivan Lazar Miljenovic <
ivan.miljeno...@gmail.com> wrote:
> Don Stewart writes:
> >
> > Yes, my intent here is to produce a set of guidelines for maintainers of
> > important packages, that ensures we balance stability with innovation.
> >
> > We have a great docum
On Tue, Jun 8, 2010 at 6:28 PM, John Lato wrote:
> > From: Stephen Tetley
> >
> > Hello all
> >
> > While new libraries develop at pace, their documentation rarely does;
> > so I'd have to disagree with John's claim that re-naming libraries
> > makes development by new users harder. I'd argue th
Hello,
I recently tried to send an email to the planet Haskell admins. The webpage
says to use pla...@community.haskell.org. The mail was undelivered after
several days and the daemon gave up trying to deliver it.
My sending did overlap with the haskell.org downtown but I don't think that
shoul
On Thu, Jun 10, 2010 at 3:59 AM, Yitzchak Gale wrote:
> Jason Dagit wrote:
> > I recently tried to send an email to the planet Haskell admins. The
> webpage
> > says to use pla...@community.haskell.org. The mail was undelivered
> after
> > several days and the daemo
On Thu, Jun 10, 2010 at 8:45 PM, Derek Elkins wrote:
> Or... one could just use the exceptions that are already built into
> the IO monad...
>
It feels to me like this discussion has a lot of speculation in it. I would
like to see concrete examples of the code and the suggested improvements.
>
On Sat, Jun 12, 2010 at 9:21 AM, Martin Drautzburg wrote:
> Hello all,
>
> Is literate programming something you guys actually do (I only know that
> Paul
> Hudak does), or is it basically a nice idea from days gone by?
>
> In case you do, then how do you do it? Do you use lhs2TeX or what? Do you
On Wed, Jun 16, 2010 at 11:35 AM, Roman Beslik wrote:
> Hi all. There are some notions which are not described in HaskellWiki but
> described in Wikipedia, e.g. "catamorphism". When clicking on a link
> [[catamorphism]] that leads to "create a new page" it would be nice to show
> link to a corres
On Thu, Jun 17, 2010 at 6:36 AM, Roman Beslik wrote:
> I mean that a link [[X]] leads to HaskellWiki if X exists in HaskellWiki
> and to Wikipedia otherwise. Interwiki links requires to change all
> occurrences of [[X]] when X is created.
> [[wikipedia:{{PAGENAME}}]] may be handy on existing pag
On Fri, Jun 18, 2010 at 8:50 AM, Roman Beslik wrote:
> On 18.06.10 07:41, Jason Dagit wrote:
>
> On Thu, Jun 17, 2010 at 6:36 AM, Roman Beslik wrote:
>
>> I mean that a link [[X]] leads to HaskellWiki if X exists in HaskellWiki
>> and to Wikipedia otherwise.
>>
&
On Wed, Jun 23, 2010 at 2:30 PM, Paul Johnson wrote:
> On 15/06/10 09:08, Amiruddin Nagri wrote:
>
>>
>> I wanted some insight as to how Haskell is going to help me with my
>> project. Also there has been some concerns because of lazy evaluation in
>> Haskell and memory leaks associated with it.
On Mon, Jun 21, 2010 at 11:22 AM, Daniel Lyons wrote:
> Hi,
>
> I'm having a little trouble figuring out precisely how to port the decision
> tree code from the book "Programming Collective Intelligence." You can see
> the code here:
> http://code.google.com/p/memothing/source/browse/trunk/PCI/ch7
2010/6/22 José Romildo Malaquias
> Hello.
>
> I have been teaching an introductory course on compiler construction to
> our undergraduates students using Appel's "Modern Compiler
> Implementation in Java". There are also versions of the book in ML and
> C. The books explain how to write a compile
On Sat, Jun 19, 2010 at 1:06 AM, Roman Cheplyaka wrote:
> While ghc 6.12 finally has proper locale support, core packages (such as
> unix) still use withCString and therefore work incorrectly when argument
> (e.g. file path) is not ASCII.
>
Pardon me if I'm misunderstanding withCString, but my u
On Thu, Jun 24, 2010 at 11:42 PM, Roman Cheplyaka wrote:
> * Jason Dagit [2010-06-24 20:52:03-0700]
> > On Sat, Jun 19, 2010 at 1:06 AM, Roman Cheplyaka
> wrote:
> >
> > > While ghc 6.12 finally has proper locale support, core packages (such
> as
> > > un
On Fri, Jun 25, 2010 at 2:26 PM, Walt Rorie-Baety wrote:
> I've noticed over the - okay, over the months - that some folks enjoy the
> puzzle-like qualities of programming in the type system (poor Oleg, he's
> become #haskell's answer to the "Chuck Norris" meme commonly encountered in
> MMORPGs).
On Fri, Jun 25, 2010 at 3:15 PM, Brandon S Allbery KF8NH <
allb...@ece.cmu.edu> wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> On 6/25/10 17:56 , Roman Cheplyaka wrote:
> > * Brandon S Allbery KF8NH [2010-06-25
> 05:00:08-0400]
> >> You might want to look at how Python is dealing wi
1 - 100 of 675 matches
Mail list logo
