I’m reading the book "Haskell Programming from first principles" by Christopher Allen and Julie Moronuki and try to implement the code and examples in ...
I’m reading the book "Haskell Programming from first principles" by Christopher Allen and Julie Moronuki and try to implement the code and examples in ...
In Haskell, the class Foldable is standalone i.e. However, in Frege: Why was this constraint introduced? What ill-formed programs/ideas can it r ...
I'm using froid to write Android applications and I can't seem to find documentation on how to make a ViewPager. How do I go about making a custom on ...
I'm having some trouble defining a function in Frege that uses multiple patterns. Basically, I'm defining a mapping by iterating through a list of tup ...
I've been looking into this for a while now but there seems to be old solutions that focus on mainly calling frege from Java. Is there a way to write ...
According to Hoogle, the fixity of <=< (Kleisli monad composition, or "left fish") and =<< (reverse monad bind) is infixr 1. If I'm lookin ...
I am trying to port a simple java project over to Frege for practice. I spent a bit of time looking for bindings for java.nio.file.Path, among other t ...
I am attempting to write an Android app using the Frege language. Unfortunately, I'm not aware of any examples of how to do this. So, I'm using Gradl ...
As the title says, for some reason, messages passed to the trace (well, a variant of which) function don't show up properly when debugging functions. ...
Suppose I have a list of all primes, defined as and I want to feed primes through multiple, different functions like: or or something, as if ...
What is an unicode code for grave accent mark used to specify regex literal in Frege? ...
hello world in haskell frege : hello.fr : This code generates hello.java : I then compile the generated java code with no error : I then ...
I was learning about Frege and saw this command line: I've never seen that build: before. What does that mean and what does it do? More context: ...
Suppose I have a small, somewhat redundant bridge function defined in Frege and some Java code that passes an already obtained TList<Long> to ...
Suppose I have a dumb Frege function that constructs a pair of Nums. Attempting to call this function from Java, however, a PreludeBase.CNum<α&g ...
I would like to be able to convert a large Double to an Integer, but it seems that the Frege Haskell implementation of floor does not yield an Integra ...
I think I'm making a simple mistake here, but I can't get Frege to find any classes outside of the local Eclipse project. I have a working non-trivi ...
I try to run snippets from chapter 8 about functional parsers in Graham Hutton's 'Programming in Haskell' both in ghci and frege-repl. I'm not able to ...
This program compiles and runs correctly under GHC: But when compiling with Frege I got the following error: Why? Is it possible to modify the p ...
In Haskell I have to start ghci with -XNPlusKPatterns or add {-# LANGUAGE NPlusKPatterns #-} in source file to make this work: Is n+k pattern delib ...