comp.lang.haskell Google Group

Transparent results cache

mark.carr...@aetion.com (Mark T. B. Carroll) — Wed, 18 Лис 2009 18:29:07 UT

I wrote something that is possibly a bit horrifying. I seem to have got
away with it for now. I don't normally use things like unsafePerformIO
but it occurred to me that I could write a kind of transparent results
cache for functions. I'd certainly be interested in comments about how
I screwed it up or shouldn't even be thinking such awful things. At

Shaved Bare - Shaved Asians Movie

toneyrish...@gmail.com (shape Toney) — Wed, 04 Лис 2009 15:58:12 UT

============================== ============================== =============
========= My sister shave her pussy: hidden cam
=========
VVVVVVVVVVVVVVVVVVVVVVVVVVVVVV VVVVVVVVVVVVVVVVVVVVVVVVVVVVVV VVVVVVVVVVVV
========= ENTER HERE:
=========
========= [link]

best buy nike shoes,cheap supra shoes,nike air jordans,jordan fusions,newest SUPRA sneaker,China Cheap Nike Sneakers,Supra Shoes Wholesale Gucci Sneakers

xiaolong0...@126.com (nicejordan) — Wed, 04 Лис 2009 12:01:28 UT

Welcome to visit [link] hottest Nike Shoes, Nike Jordans,
Nike Air Jordans, Air Jordan Fusion,Sell nike shoes air jordan,Jordan
fusions,Air jordan women fusins,AJ fusions,AJ Fusions low,cheap Prada
shoes, Gucci shoes, Adidas shoes, Nike shoes, Puma shoes,Cheap brand
jeans:Coogi pants, Evisu jeans, RMC jeans, Crown Holder, Aftful Dodger

Wholesale Women's and Men's Shoes and sneakers,Discount Prices Supra Shoes,China Factory Cheap Price Sell air Jordan Shoes

xiaolong0...@126.com (nicejordan) — Wed, 04 Лис 2009 12:00:29 UT

happs coming alone?

gavcom...@gmail.com (gavino) — Fri, 30 Жов 2009 04:51:35 UT

see this? [link] lisp has a nice webserver

monads for lambda calculus

jon.gallagher...@gmail.com (jon.gallagher.04) — Tue, 20 Жов 2009 05:04:28 UT

Greetings Comp.Lang.Haskell Community,
I have a program that serves a lambda calculus reducer, but I want to
play with it and see what various class representations give, such as
functors and monads.
So consider
Then, of course fold,
So that we can give an instance of functor,
Next we can try to write an instance of monads. We have an obvious

* extended deadline: FLOPS 2010: Last Call for Papers *

matthias.bl...@gmail.com (Matthias) — Tue, 20 Жов 2009 02:42:40 UT

------------------------------ ------------------------------ ----------------
LAST CALL FOR PAPERS
Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan
[link]
** EXTENDED SUBMISSION DEADLINES **

Just beginning problem

e...@mountaincable.net (Chris Saunders) — Sat, 17 Жов 2009 21:52:52 UT

I am just beginning to learn Haskell. Just for starters I'm watching a
video lecture from Channel 9. The lecturer defines a function like this
"myadd (x,y) = x + y". When I enter this into GHCi I get the error message
":1:12: parse error on input `='". Could I get a simple explanation of
this?

Rational -> Double conversion?

fu...@hawaii.edu (Ryo) — Thu, 08 Жов 2009 09:57:43 UT

Hello Haskellers,
I'm a novice Haskell user. I'm wondering how to get an approximate
value in Double of a Rational. I'm doing a little numerical
calculation using Rational to avoid truncation error, but want the
final results printed as Doubles that approximate original Rationals.
(I need this to read the results in Fortran.)

* FLOPS 2010: Last Call for Papers *

matthias.bl...@gmail.com (Matthias) — Sat, 03 Жов 2009 02:42:10 UT

Logger monad

mark.carr...@aetion.com (Mark T. B. Carroll) — Thu, 01 Жов 2009 15:16:56 UT

It has been a long time since I really had to think about how monads are
implemented so I thought I should take a refresher course, in probably
reinventing the wheel by implementing from scratch a sequential logging
monad I need for a project. The point of it is that client code can
append to it, but not do anything else with it if I hide the Log and

Kenlighten - A social network for knowledge seekers and providers

uma_k...@yahoo.com (uma) — Tue, 29 Вер 2009 07:51:48 UT

Dear friends,
I am writing to share with you about a unique social knowledge network
- Kenlighten [link] .
At Kenlighten you can register for a free account and create online
tutorials in your area of expertise by uploading your ebooks,
presentations, articles, videos, audio files. You can also use the

Laziness of sequence

l...@iks-jena.de (Lutz Donnerhacke) — Fri, 18 Вер 2009 16:03:25 UT

During an interesting discussion in de.alt.sysadmin.recovery we touched
laziness issues of mapM.
Just 4
Just [1,2,3]
_|_
This can be stripped down to the laziness behavior of sequence and from its
definition the strictness issues of (>>=).
Now the question arises, how to define sequence, to allow indefinite long

whither operational semantics?

rao...@gmail.com (raould) — Fri, 18 Вер 2009 00:07:52 UT

hi,
sounds like folks criticize haskell (and probably rightly so) for not
having a good definition, so implementations can ethically vary
widely. so which fp actually does have well nailed-down semantics?
plus a useful-in-the-real-world implementation (or two or three)?
thanks.

overflow behavior

ja...@nospam.org (jacob navia) — Sun, 13 Вер 2009 22:39:32 UT

Hi
I would like to know if you could point me to a document specifying the
behavior of haskel with integer overflow. I mean when you have two
integers, what happens when you multiply them? Is overflow checked?
Thanks

* FLOPS 2010: 2nd Call for Papers *

matthias.bl...@gmail.com (Matthias) — Thu, 03 Вер 2009 15:26:05 UT

------------------------------ ------------------------------ ----------------
SECOND CALL FOR PAPERS
Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan
[link]
Submission deadline: October 16, 2009

HTML tables in haddock

bucephalus....@gmail.com (noknok) — Mon, 31 Сер 2009 13:26:33 UT

Hi there!
I suppose, the answer to my question is a plain "no", but I'll try it
anyway, because it would be all too nice: Is it possible to use a HTML
table in the output of a haddock run, performed on a *.hs file? I
would like to display an overview in the description part of the HTML
output, formatted with such a table. But the haddock manual seems to

foundational question

sean_mcil...@yahoo.com (Sean McIlroy) — Mon, 24 Сер 2009 01:46:53 UT

hello all
it is easy to convince oneself that the function id
(id x) = x
is such that ((id id) x)==(id x) evaluates as True for any x,
confirming the expectation that (id id) = id. this observation
suggests the following argument:
let f be any function whose principal type, like that of id, is (s ->

FLIBUGmeeting reminder august 19

jos.k...@telefonica.net (jos koot) — Mon, 17 Сер 2009 09:10:48 UT

This is a reminder of the next meeting of FLIBUG:
August 19 2009 at 7.30 PM
Calle del Pi 3 Principal Interior (first floor)
Barcelona
Spain
[link]
Best wishes, Jos

handling large data structure

laurent.den...@gmail.com (ld) — Mon, 10 Сер 2009 10:41:03 UT

I am trying to deal in a convenient way with large data structure
loaded from CSV-like files which typically contain +100000 records,
with several files at once. The process-flow looks like:
- read a line (lazily)
- split the line into list of ByteString using a separator (say \t)
- convert this list into the (large) data structure

F={<1, 0>, }

stuckonfunct...@gmail.com (StuckOnFunction) — Sun, 09 Сер 2009 14:25:53 UT

F is a function. What is the lambda expression that is semantically
equivalent to F?

ByteString.Lazy.Char8 question

laurent.den...@gmail.com (ld) — Sat, 08 Сер 2009 14:24:33 UT

I would like to test the efficiency of ByteSring.Lazy.Char8. The small
program hereafter does not compile when I switch from the standard
Prelude (no import) to the ByteSring.Lazy.Char8 module.
Any idea why ghc (6.10.4) infers a [ByteString] for contents?
thanks.
ld.
import Prelude hiding (getContents, length, words)

What is <+>?

!nospam!ppu...@yahoo.com (Eduardo Alvarez) — Fri, 07 Сер 2009 22:35:00 UT

I've been trying to understand Xmonad's configuration, and this
particular line is confusing me, as I haven't (yet) seen it in any
haskell tutorials or references:
manageHook = manageDocks <+> manageHook defaultConfig
Can anyone point me to some only documentation where the <+> symbol is
explained (or, if it's an xmonad-only thing, to let me know)?

Online music

evo...@gmail.com (Evo egi) — Fri, 07 Сер 2009 09:09:09 UT

****************************** ****************************** *******
****************************** ****************************** *******
ENTER HERE:
>>> [link] <<<
****************************** ****************************** *******
****************************** ****************************** *******

another newbie problem

sean_mcil...@yahoo.com (Sean McIlroy) — Thu, 06 Сер 2009 22:58:55 UT

this should be a no-brainer for somebody that knows haskell, but i'm
stumped. what's wrong with this instance declaration? thanks if you
can help.
data Cell = Ex | Oh | Blank deriving Eq
type Board = [Cell]
instance Show Board where
show board = "ERROR {Hugs} - Cannot use type synonym in instance

newbie problem

sean_mcil...@yahoo.com (Sean McIlroy) — Wed, 05 Сер 2009 12:18:38 UT

i'm using Hugs on windows XP. i have a file of kosher midi data at
filepath, and there's no file at newfilepath. then i say:
(readFile filepath) >>= (writeFile newfilepath)
and the new file is NOT kosher midi data: the sequencer won't open it
and the player won't play it. does this make sense to someone? thanks

how to enable multi-parameter type classes in Hugs

bucephalus....@gmail.com (noknok) — Tue, 04 Сер 2009 19:42:54 UT

Under ghci my module with a 2-parameter type class runs fine after
:set -fglasgow-exts
But when I start Hugs and try to load the module, it complains with
ERROR ... - Haskell 98 does not suppoer dependent parameters
I thought I somewhere read that Hugs would support this. But how can I
enable this feature?

ANN: Book Constraint Handling Rules

frank.rai...@nospam.uni-ulm.de (Frank Raiser) — Tue, 04 Сер 2009 09:08:48 UT

Book now available:
CONSTRAINT HANDLING RULES
[link]
Thom Frühwirth, Cambridge University Press, ISBN 9780521877763, 2009.
Constraint Handling Rules (CHR) is both a versatile theoretical
formalism based on logic and an efficient practical high-level
programming language based on rules and constraints.

Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3?

mark.carr...@aetion.com (Mark T.B. Carroll) — Tue, 21 Лип 2009 13:25:47 UT

And it's achievable in Haskell, especially with a bunch of the work
that's been done in GHC 6.6, 6.8, 6.10, and especially if you have
multiple cores. (I'm not just talking about things like short cut
fusion, but a bunch of library improvements like in ByteStrings.)
The caveat - and you may consider it a showstopper, but I don't - is

Parallelizing array-based functions

j...@ffconsultancy.com (Jon Harrop) — Sat, 18 Лип 2009 01:10:36 UT

If you have a function that mutates the elements of an array in-place and
leverages parallelism by recursively subdividing the problem and mutating
parts of the array separately, can this be expressed in Haskell?
In-place quicksort and many of the numerical methods from linear algebra
fall into this category.

haskell, unixodbc and freetds

groovethatkungfub...@gmail.com (James La Plant) — Tue, 14 Лип 2009 18:20:18 UT

Hallo, alls -
I am trying to access a SQL Server 2003 database using Haskell on
an
Ubuntu 9.04 machine. I have installed and configured unixodbc and
freetds. I have tested the connection using isql, and everything
works dandy from there.
I have tried connecting to my database using both HDBC and Takusen,

Re: LISP vs HASKELL vs PROLOG

la...@elder-gods.org (Larry D'Anna) — Mon, 13 Лип 2009 20:58:07 UT

Why in the world does it have to dirty the whole array? Is there any sane
reason for that or is this just an unfortunate deficiency of GHC? I just can't
believe that an array update is O(n). But but my tests updating a STArray
really is O(n) in GHC. I'm a bit shocked.
--larry

ICFP09 Final Call for Participation

icfp.public...@googlemail.com (Matthew Fluet (ICFP Publicity Chair)) — Mon, 13 Лип 2009 02:46:38 UT

============================== ============================== =========
Final Call for Participation
The 14th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2009)
[link]
Edinburgh, Scotland, 31 August - 2 September 2009

Call for Participation: Commercial Users of Functional Programming Workshop 2009

jim.gru...@acm.org (Jim Grundy) — Tue, 30 Чер 2009 23:30:52 UT

Commercial Users of Functional Programming Workshop (CUFP) 2009
Functional Programming As a Means, Not an End
Call for Participation
Sponsored by SIGPLAN
Co-located with ICFP 2009
______________________________ ___________________________

ICFP09 Call for Participation

icfp.public...@googlemail.com (Matthew Fluet (ICFP Publicity Chair)) — Mon, 22 Чер 2009 15:29:49 UT

============================== ============================== =========
Call for Participation
The 14th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2009)
[link]
Edinburgh, Scotland, 31 August - 2 September 2009

Haskell logo fail

sigz...@gmail.com (Robert Hicks) — Tue, 16 Чер 2009 21:06:42 UT

[link]

Newbie question...

max.korob...@gmail.com (maxino) — Sat, 13 Чер 2009 11:36:19 UT

Hello,
I've been studying this fascinating language for a few days so I am
pretty new to all this (especially the error messages from the
interpreter!)
I wrote this simple function, which purpose is to generate a list of
proper divisors of a number:
proper_divisors :: Int -> [Int]
proper_divisors n = [d | d <- [1 .. (floor . sqrt) n], mod n d == 0]

paypal payment)( www.niketrade08.cn )Discount Nike Air Jordan 3 Collection

dfdfefdahj...@163.com (fdeww) — Sat, 13 Чер 2009 08:07:30 UT

(paypal payment)( [link] )Discount Nike Shox Classic
Shoes Suppliers
(paypal payment)( [link] )Discount Nike Shox Dendara
Trainer
(paypal payment)( [link] )Discount Nike Air Jordan 1
Seller Paypal
Payment
(paypal payment)( [link] )Discount Nike Air Jordan 2

(paypal payment)( www.niketrade08.cn paypal wholesale athletic shoes

dfdfefdahj...@163.com (fdeww) — Sat, 13 Чер 2009 08:06:53 UT

(paypal payment)( [link] paypal wholesale Brand Sport
Shoes
(paypal payment)( [link] paypal wholesale Men's Sport
Shoes
(paypal payment)( [link] paypal wholesale Fashionable
Sports Shoes
(paypal payment)( [link] paypal wholesale Running Shoes
(paypal payment)( [link] Other Sports Shoes

reads

frank.poett...@post.rxwytxh-ayazcyhzeyn.de (Frank Poettgen) — Thu, 11 Чер 2009 14:17:58 UT

I would expect
reads "1.2" :: [(Int,String)]
to be evaluated to
[(1,".2")]
but using Hugs (Version Sep 2006) it is just
[]
Bug or feature?

INVITATION FLIBUG

jos.k...@telefonica.net (jos koot) — Tue, 09 Чер 2009 17:07:21 UT

Hi
I am sorry to announce that the first FLIBUG (was FLIB) meeting has
been postponed to June 17.
At this moment the group has around 8 members. Adapated invitation
below.
Jos Koot
INVITATION
FLIBUG (Fringe/Functional Languages In Barcelona User Group) has
postponed its first meeting to June 17. Everyone who is interested is

Re: Fedora update error

krist...@rachen.net (Kristian Sundqvist) — Wed, 03 Чер 2009 13:41:29 UT

Kun heinäluoma otti 2008 vapun keskusteluaseekseen Suomen NATO-jäsenyyden ja
lupaili, ettei kansamme ole sinne pakko mennä, jossei sitä kaipaa, on
kyseessä tietysti demokratian peruselementti. Vaan miksei Heinäluoma
samantien vaatinut asiasta kansanäänestystä myös?
Olisi jäänyt sitten jatkon Häkämiehen panikoinnit ja vaatimukset koko

Verilog parser..

bgm...@gmail.com (mac_wooster) — Fri, 29 Тра 2009 05:44:42 UT

Has anyone written a verilog (structural netlist) parser in Haskell?
Thanks.

Overwrite implementation of show function

frank.poett...@post.rxwytxh-ayazcyhzeyn.de (Frank Poettgen) — Thu, 28 Тра 2009 17:35:47 UT

import Data.Set as Set ( Set, fromList, toList )
test = fromList [fromList [1,2],fromList [3]]
Then 'show test' will result in the following string:
"fromList [fromList [1,2],fromList [3]]"
What I want is something like "[[1,2],[3]]"
Is there a way to overwrite the implementation of the show function?

Avoid unnecessary evaluations

frank.poett...@post.rxwytxh-ayazcyhzeyn.de (Frank Poettgen) — Thu, 28 Тра 2009 13:36:12 UT

Assume that the evaluation of a function 'expensive' takes a lot of
time. Hence I want to avoid unnecessary evaluations of 'expensive'.
expensive :: Int -> (Int,Int)
expensive x = (x,x)
f :: Int -> Int
f x = fst (expensive x) + snd (expensive x)
Will 'expensive x' be evaluated twice to compute 'f x'?

DEFUN09: Final Call for Talks & Tutorials (co-located w/ ICFP09)

icfp.public...@googlemail.com (Matthew Fluet (ICFP Publicity Chair)) — Thu, 28 Тра 2009 04:48:08 UT

Call for Talks and Tutorials
ACM SIGPLAN 2009 Developer Tracks on Functional Programming
[link]
Edinburgh, Scotland, September 3 and 5, 2009
The workshop will be held in conjunction with ICFP 2009
[link]

haddock and latex

bucephalus....@gmail.com (noknok) — Wed, 27 Тра 2009 14:38:11 UT

Is it possible to convert the default HTML output of Haddock into TeX/
LaTeX?
I mean, I frequently produce my program documentation now with a
haddock -h Example.hs
command, that generates Example.html.
But I would be able to integrate the generated text into a broader
Latex project, so it would be nice to have an Example.tex file as well

INVITATION: user group FLIB: Fringe/ Functional Languages In Barcelona.

jos.k...@telefonica.net (jos koot) — Tue, 26 Тра 2009 09:13:02 UT

INVITATION
We, (Jose A. Ortega Ruiz j...@gnu.org, Andy Wingo wi...@pobox.com and
Jos Koot jos.k...@telefonica.net) have scheduled a meeting in
Barcelona (Spain) with the intention to form a user group FLIB:
Fringe/
Functional Languages In Barcelona. Everyone who is interested in
shaping this group is invited to share us.

ICFP09 Accepted Papers

icfp.public...@googlemail.com (Matthew Fluet (ICFP Publicity Chair)) — Fri, 15 Тра 2009 15:30:41 UT

Accepted Papers
ICFP 2009: International Conference on Functional Programming
Edinburgh, Scotland, 31 August - 2 September 2009
[link]
The ICFP 2009 Program Chair and Committee are pleased to announce that
the following papers have been accepted for the conference.

FLOPS 2010: Preliminary Call for Papers

bl...@hana.uchicago.edu (Matthias Blume) — Wed, 13 Тра 2009 21:08:11 UT

PRELIMINARY CALL FOR PAPERS

Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan
[link]