[Haskell-cafe] Sorry about the triple post

Trying to work out how to make sendmail do what I want, my computer is a fickle beast. Also- it should be HWN issue 133. But I'm an idiot, and just copied the value without thinking. Someday, when I automate all the uploading/sending to the list business, this will not be an issue... :/

[Haskell-cafe] Haskell Weekly News: Issue 131 - Semptember 25, 2009

] in the subject line so my filters will catch it. Please _don't_ email me if there are no problems. Thanks, /Joe --- Haskell Weekly News http://sequence.complete.org/hwn/20090926 Issue 133 - September 26, 2009

Re: [Haskell-cafe] An issue with EDSLs in the ``finally tagless'' tradition

Edward, On Sat, Sep 26, 2009 at 11:41 AM, Edward Kmett ekm...@gmail.com wrote: I would just like to add that Oleg and Chung-chieh made sure in their finally tagless paper to use monomorphic lifting of literals explicitly to avoid this sort of ambiguity. Using Num or another typeclass is fine

[Haskell-cafe] Haskell Weekly News: Issue 131 - Semptember 25, 2009

] in the subject line so my filters will catch it. Please _don't_ email me if there are no problems. Thanks, /Joe --- Haskell Weekly News http://sequence.complete.org/hwn/20090926 Issue 133 - September 26, 2009

[Haskell-cafe] Haskell Weekly News: Issue 131 - Semptember 25, 2009

] in the subject line so my filters will catch it. Please _don't_ email me if there are no problems. Thanks, /Joe --- Haskell Weekly News http://sequence.complete.org/hwn/20090926 Issue 133 - September 26, 2009

[Haskell-cafe] Type parametrized modules (was Strong duck typing)

Thanks a lot for the answers. Another feature I really miss is type parameterized modules. For example, suppose I have a module that defines simple geometry / linear algebra math, with types like Vector a, Matrix a, Point a, Size a, Rectangle a, etc... Usually when you import such a module, you

Re: [Haskell-cafe] An issue with EDSLs in the ``finally tagless'' tradition

I would just like to add that Oleg and Chung-chieh made sure in their finally tagless paper to use monomorphic lifting of literals explicitly to avoid this sort of ambiguity. Using Num or another typeclass is fine as long as all you want to do is evaluate your EDSL. But what about partial

[Haskell-cafe] combinatorial search with running bound

I have a combinatorial search problem that requires a running lower bound to be tracked in order to prune the search. I have enough Haskell experience to know how to do a combinatorial search, for example with list compresions or the list monad, but I don't know how to keep a running lower

Re: [Haskell-cafe] combinatorial search with running bound

I made some mistakes in editing this code before posting it. I wrote BoxBounds in a couple places when I meant Box. Also made calls to boxesSep' when I meant boxesSep2'. Hopefully should all be obvious from context. Michael Mossey wrote: I have a combinatorial search problem that requires a

[Haskell-cafe] ANN: rss2irc 0.4 released

I have released rss2irc 0.4, with some improvements from the field: - fix a problem connecting with irc.quakenet.org (Radoslav Dorcik) - feed polling now recovers from transient failures - can poll a local file: uri as well as remote uris - more robust new item detection, with some alternate