Re: [frege-programming-language] FlatMap?

It is the classic >>= operator or use the "do" notation. For the special case of lists, a list comprehension might also be appropriate. Check out FregeGoodness again. Dierk sent from:mobile > Am 08.10.2016 um 17:25 schrieb Russel Winder : > > I think I am getting a

Re: [frege-programming-language] FregIDE and running QuickCheck

Make a run config for a Java Application that starts tools.QuickCheck. Let the main args point to your tests. Cheers Dierk sent from:mobile > Am 04.10.2016 um 16:43 schrieb Russel Winder : > > Hi, > > Is there a paragraph somewhere about setting up a run configuration

Re: [frege-programming-language] NaN literal

https://dierk.gitbooks.io/fregegoodness/content/src/docs/asciidoc/what.html > Am 04.10.2016 um 18:19 schrieb Russel Winder : > > Is there a NaN literal anywhere defined in Frege. > > I have been blundering about but can't seem to find one. > > Alternatively infinity. > >

Re: [frege-programming-language] Gradle Frege plugin and frege-java-frege dependency

Hi Markus, bi-directional dependencies are always a bit difficult with alternative JVM languages but there are two ways to address this: a) shared interface The trick is to extract a shared Java interface and compile this in an extra (gradle) project, say "shared". Then you let your core

Re: [frege-programming-language] Re: Cont monad defined in Frege

Cool! Bring it on! Dierk sent from:mobile > Am 23.11.2017 um 03:10 schrieb zhou6...@163.com: > > The code is working on my 3.24.100 Frege Repl, and I am trying to reinvent > ContT monad transformer in Frege now, hope I can learn more about Haskell > > 在 2017年11月23日星期四

Re: [frege-programming-language] Continuation transformer defined in Frege

Hi, could you post the code that did not compile but should? Cheers Dierk sent from:mobile > Am 27.11.2017 um 03:02 schrieb zhou6...@163.com: > > ContT monad transformer sucks , Maybe Frege's type class is not complete > compatible with Haskell. The problem is the continuation variable