[Haskell]Priem generator werkt niet*

[hwschuur]

code:

filter (\p -> [f | f <- [1..p], p `mod` f == 0] == [1,p]) [1..]

Ik heb een tijdje geleden deze code getest in Hint (de Helium interpreter voor Haskell), en ik zou zweren dat het werkte. Vandaag probeer ik het nogmaals (om iemand te overtuigen dat je in Haskell écht een lijst van priemgetallen kan genereren in 1 regel), en ja hoor, het werkt niet

code:

Type error in infix application
 expression       : [ f | f <- [1 .. p], p `mod` f == 0 ] == [1, p]
 operator         : ==
   type           : Int   -> Int   -> Bool
   does not match : [Int] -> [Int] -> Bool

Op zich logisch, maar ik heb de vorige keer ook de code rechtstreeks uit het voorbeeld gekopieerd en toen werkte het volgens mij wel Is hier sprake van muterende code?

[Janoz]

Zo, even een bericht van het grote topic [rml][ alg] fraaiste prog voorbeelden.[/rml] afgesplitst aangezien het een beetje nutteloze kick was met een toch normale vraag.

[Glimi]

Waarin compileer je dit? GHC/Hugs of Helium?

[edit] Je weet dat Helium (van de uu) niet volledig Haskell conform is he?
Nu ik kijk, is het logisch. Een van de dingen die Helium niet ondersteunt is overloading van functies. == is een functie op Int -> Int -> Bool
Jij zoekt eqList (==)

code:

filter (\p -> eqList (==) [ f | f <- [1 .. p], p `mod` f == 0 ] [1,p] ) [1..]

[ Voor 108% gewijzigd door Glimi op 24-03-2004 22:16 ]

[tomato]

De code die je hier geeft is goed volgens mij.

edit:
Dit sloeg nergens op, maar wat Glimi zegt wel

In Hugs gaat dit dan ook goed.

[ Voor 66% gewijzigd door tomato op 24-03-2004 22:33 ]

[Infinitive]

TS zijn regel zal werken met ghc, hugs, maar niet met helium.
Glimi's versie zal werken met helium, maar niet zomaar met ghc en hugs.

Helium bevat al ondersteuning voor classes als Eq. Het is alleen op het moment nog experimenteel. Ik denk dat je bij de volgende publieke release dit straks via een commandline parameter in en uit kan schakelen. Er is al een universiteit die bijvoorbeeld liever haskell leert zonder type-classes omdat het nogal verwarrend is (de duidelijkheid van je foutmeldingen gaat ook achteruit). Aan de andere kant zijn er universiteiten die het liever wel hebben omdat men bang is dat anders de overstap naar hugs en ghc te groot is.

[Grijze Vos]

- ik zie het al, laat maar -

[ Voor 80% gewijzigd door Grijze Vos op 25-03-2004 00:25 ]