frege Questions

4

Solved

I'm wondering if there is some way to make Haskell run on the JVM (compiled or interpreted)? There exists JHaskell on Sourceforge but this one seems to be empty and dead. GHC uses LLVM as compile...
Quincunx asked 31/8, 2011 at 17:38

5

I'm interested in programming for Android in functional languages, preferably close to Haskell. Frege seems to be a good choice. I found that somebody has already done such a proof-of-concept appli...
Hannon asked 20/6, 2013 at 19:39

1

Solved

Hi I've been playing a little bit with Frege and I just noticed in some examples that package and module are used interchangeably: package MyModuleOne where and sometimes: module MyModuleTwo wh...
Cuckoopint asked 27/8, 2015 at 21:45

1

Solved

I have two generators, 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 &g...
Cosmopolis asked 29/7, 2015 at 14:51

1

Solved

It appears that Frege can evaluate 1/2 to return the Double value 0.5. The literal 1 is of type Int. It seems to be promoted to Double, which is a type in the Real class and thus knows the / o...
Marleen asked 16/6, 2015 at 10:34

3

Scala and Frege are both typed functional languages that target JVM. Frege is closer to Haskell, Scala has a more independent history. But if we don't look at syntactic differences, what are the ...
Firebrick asked 28/7, 2013 at 5:33

1

Solved

As an exercise, I took these Scala and Java examples of Akka to port to Frege. While it works fine, it runs slower(11s) than Scala(540ms) counterpart. module mmhelloworld.akkatutorialfregecore.Pi...
Lighthearted asked 23/6, 2013 at 1:40

5

Solved

In Haskell, the following code prints "[1,2,3,4,5": foo = take 10 $ show $ numbersFrom 1 where numbersFrom start = start : numbersFrom (start + 1) -- could use [1..] But in Frege, It throws Ou...
Recha asked 15/8, 2012 at 1:0

1

Solved

It seems that Frege's ideas about type-classes differ significantly from Haskell. In particular: The syntax appears to be different, for no obvious reason. Function types cannot have class instan...
Raney asked 10/5, 2012 at 9:3

1

Solved

Are tail calls optimised in Frege. I know that there is TCO neither in Java nor in languages which compile to JVM bytecode like Clojure and Scala. What about Frege?
Denaturalize asked 4/4, 2012 at 9:45

1

Solved

Is there any Frege's equivalent of Haskell's getLine and read to parse input from the console in the standard library? Currently I am doing it like this: import frege.IO getLine :: IO String get...
Hebraize asked 27/2, 2012 at 14:54

3

Solved

The Haskell 2010 Language Report states in section 20.10.1.1 that: deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a] In fact, the implementation in the GHC library would allow dele...
Legibility asked 25/1, 2012 at 15:8
1

© 2022 - 2024 — McMap. All rights reserved.