frege

6calore

1risposta

In che modo Frege generalizza i numeri letterali?

Sembra che Frege può valutare 1/2 per restituire il valore doppio 0,5. Il valore letterale 1 è di tipo Int. Sembra essere promosso a Double, che è un tipo nella classe Real e quindi conosce l'operat

18calore

3risposta

C'è una buona ragione per cui `deleteBy` non ha il suo tipo più generale?

Haskell 2010 Lingua Denuncia stati nella sezione 20.10.1.1 che: deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a] Infatti, l'attuazione nel GHC library permetterebbe deleteBy :: (b -> a -> Bool) -> b

6calore

5risposta

Espressione desiderosa a Frege ma pigra a Haskell?

a Haskell, i codice seguente stampa "[1,2,3,4,5": foo = take 10 $ show $ numbersFrom 1 where numbersFrom start = start : numbersFrom (start + 1) -- could use [1..] Ma in Frege, getta OutOfMemor

9calore

1risposta

Akka con Frege che funziona più lentamente della controparte Scala

Come esercizio, ho preso questi esempi Scala e Java di Akka per portarlo a Frege. Mentre funziona bene, funziona più lentamente (11s) rispetto alla controparte di Scala (540ms). module mmhelloworld.ak

6calore

1risposta

Qual è la differenza tra "pacchetto" e "modulo" in Frege?

Hi Ho giocato un po 'con Frege e ho appena notato in alcuni esempi che package e module sono usati come sinonimi: package MyModuleOne where ea volte: module MyModuleTwo where Quando si importa da

12calore

2risposta

Frege esegue l'ottimizzazione delle chiamate tail?

Le chiamate di coda sono ottimizzate in Frege. So che c'è il TCO nè in Java nè nelle lingue che compilano in codice bytecode JVM come Clojure e Scala. Che mi dici di Frege?

5calore

1risposta

QuickCheck: come combinare due generatori?

Ho due generatori, gen_n & gen_arr: gen_n :: Gen Int gen_n = suchThat arbitrary (\i -> i >= 0 && i <= 10) gen_elem :: Gen Int gen_elem = suchThat arbitrary (\i -> i >= 0 && i <= 100) gen_arr ::