Frege Programming Language

1–30 of 370

This is the discussion forum for users and developers of the Frege Programming Language.

Simple questions on the use of Frege are not off topic here, though www.stackoverflow.com may be a more adequate place for that.

This is also the place for criticism, feedback or, if unavoidable, rants concerning Frege.

0 selected

Simon Levy

8/11/21

Introducing myself

Hi everyone, I'm Simon, a computer science professor at Washington and Lee University, focusing

unread,

Introducing myself

Hi everyone, I'm Simon, a computer science professor at Washington and Lee University, focusing

8/11/21

Dierk Koenig, Atamert Ölçgen2

6/20/21

@fregelang twitter account suspended

Hi Dierk, @fregelang is still suspended. Is there anything we can do to restore this? (preferably to

unread,

@fregelang twitter account suspended

Hi Dierk, @fregelang is still suspended. Is there anything we can do to restore this? (preferably to

6/20/21

Dierk Koenig

6/16/20

frege-lang.org domain owner

I'd like the let try.frege-lang.org point to the new repl. Is anyone here the domain owner? BTW:

unread,

frege-lang.org domain owner

I'd like the let try.frege-lang.org point to the new repl. Is anyone here the domain owner? BTW:

6/16/20

zhou...@163.com, … V4

7/8/19

STM on Android

In more detail: As far as I know, ConcurrentHashMap does not make any statement about the order of

unread,

STM on Android

In more detail: As far as I know, ConcurrentHashMap does not make any statement about the order of

7/8/19

Alex Deparvu, Ingo W.6

10/26/18

help with java method definition

Hi Alex, please give me a bit of time. I've been travelling last week for business, and will also

unread,

help with java method definition

Hi Alex, please give me a bit of time. I've been travelling last week for business, and will also

10/26/18

vishal parashar, Ingo W.3

9/8/18

Q&A

Any Learning Page for the new member who want to contribute

Hi , thanks for reply No I am not but I can quickly grap up the things . Regards

unread,

Q&A

Any Learning Page for the new member who want to contribute

Hi , thanks for reply No I am not but I can quickly grap up the things . Regards

9/8/18

Marimuthu Madasamy, Ingo W.2

6/3/18

Announcement

Tool to generate Hoogle database for Frege

Hi Marimuthu, Great work, thank you! Am Sonntag, 3. Juni 2018 06:00:13 UTC+2 schrieb Marimuthu

unread,

Announcement

Tool to generate Hoogle database for Frege

Hi Marimuthu, Great work, thank you! Am Sonntag, 3. Juni 2018 06:00:13 UTC+2 schrieb Marimuthu

6/3/18

Dierk Koenig

5/3/18

Call for presentators: Frege at CodeOne (was: JavaOne)

Hi all, I will not be at CodeOne (formerly known as JavaOne) San Francisco this year. Anyone, please

unread,

Call for presentators: Frege at CodeOne (was: JavaOne)

Hi all, I will not be at CodeOne (formerly known as JavaOne) San Francisco this year. Anyone, please

5/3/18

Ingo W.

5/2/18

Hints for maintainers of Frege build tools

Hello friends, as of recently, the Frege compiler with the -make option not only discovers the Frege

unread,

Hints for maintainers of Frege build tools

Hello friends, as of recently, the Frege compiler with the -make option not only discovers the Frege

5/2/18

zcourts, … Marimuthu Madasamy6

2/4/18

Embed Frege in Java/Scala

Hi, Thank you for trying out. Lot of good findings! 1. Loading multiple modules all at once is not

unread,

Embed Frege in Java/Scala

Hi, Thank you for trying out. Lot of good findings! 1. Loading multiple modules all at once is not

2/4/18

zhou...@163.com, … Tony Morris6

1/28/18

Why Frege doesn't provide a read function

I concur that the Read type-class is terrible and can always be replaced with an improvement. It was

unread,

Why Frege doesn't provide a read function

I concur that the Read type-class is terrible and can always be replaced with an improvement. It was

1/28/18

zhou...@163.com, Ingo W.9

1/28/18

Parsec library sucks in Frege 3.24-7.100

Thank you for your nice words, I shall be happy if Frege helps you with your work. Am Sonntag, 28.

unread,

Parsec library sucks in Frege 3.24-7.100

Thank you for your nice words, I shall be happy if Frege helps you with your work. Am Sonntag, 28.

1/28/18

zhou...@163.com, Canoo5

12/26/17

Request bleeding-edge frege compiler jar which contain STM function

Thanks! Glad you like it. Merry <holiday of your choice>, everybody! Am 26.12.2017 um 03:52

unread,

Request bleeding-edge frege compiler jar which contain STM function

Thanks! Glad you like it. Merry <holiday of your choice>, everybody! Am 26.12.2017 um 03:52

12/26/17

zhou...@163.com3

11/30/17

Scheme style co-routine implemented in ContT

Refactor my code, in fact I should name the code "wing man", they help each other to

unread,

Scheme style co-routine implemented in ContT

Refactor my code, in fact I should name the code "wing man", they help each other to

11/30/17

zhou...@163.com, Dierk König12

11/29/17

Continuation transformer defined in Frege

It works like charm, it's my silly mistake. By replacing (`runContT` id) to (`runContT` return),

unread,

Continuation transformer defined in Frege

It works like charm, it's my silly mistake. By replacing (`runContT` id) to (`runContT` return),

11/29/17

zhou...@163.com, Dierk König3

11/23/17

Cont monad defined in Frege

Cool! Bring it on! Dierk sent from:mobile Am 23.11.2017 um 03:10 schrieb zhou...@163.com: The code

unread,

Cont monad defined in Frege

Cool! Bring it on! Dierk sent from:mobile Am 23.11.2017 um 03:10 schrieb zhou...@163.com: The code

11/23/17

zhou...@163.com2

11/22/17

Emacs is the best mate for Frege Repl

why the Frege community rarely mentioned it? 在 2017年11月23日星期四 UTC+8上午9:49:39，zhou...@163.com写道：

unread,

Emacs is the best mate for Frege Repl

why the Frege community rarely mentioned it? 在 2017年11月23日星期四 UTC+8上午9:49:39，zhou...@163.com写道：

11/22/17

zhou...@163.com, Dierk König4

11/19/17

co-routine support in Frege?

I am finally giving up thinking about Haskell mtl way, instead, I decide to try kilim and akka in

unread,

co-routine support in Frege?

I am finally giving up thinking about Haskell mtl way, instead, I decide to try kilim and akka in

11/19/17

P. Oscar Boykin, Ingo W.2

10/14/17

new bazel rules for frege

Hi Oscar, thx for the work! Looking for your PR. (Still I can't see how Bazel would know which

unread,

new bazel rules for frege

Hi Oscar, thx for the work! Looking for your PR. (Still I can't see how Bazel would know which

10/14/17

gulp21, … Mark Perry5

9/10/17

Gradle Frege plugin and frege-java-frege dependency

This example of a multi module Gradle Frege build that I put together might help, https://github.com/

unread,

Gradle Frege plugin and frege-java-frege dependency

This example of a multi module Gradle Frege build that I put together might help, https://github.com/

9/10/17

Hartmut Branz, Ingo W.2

6/3/17

Makefile problem with current JDK 9

Hallo Hartmut, thanks for observing and analyzing this problem. It'd be great if you could create

unread,

Makefile problem with current JDK 9

Hallo Hartmut, thanks for observing and analyzing this problem. It'd be great if you could create

6/3/17

Russel Winder, Marimuthu Madasamy2

5/7/17

Online Frege

Hi, I just tried `:load editor` in the online REPL and it appears to be working fine. If you still

unread,

Online Frege

Hi, I just tried `:load editor` in the online REPL and it appears to be working fine. If you still

5/7/17

Salas Sanchez-Bennasar

3/23/17

Announcement

LambdaConf standard registration opens

http://lambdaconf.us/events/2017/lcusc.html LambdaConf is one of the largest functional programming

unread,

Announcement

LambdaConf standard registration opens

http://lambdaconf.us/events/2017/lcusc.html LambdaConf is one of the largest functional programming

3/23/17

Ingo W., … Dierk König15

2/1/17

Future of Frege editors/IDEs

visual studio code would even allow writing the language service in Frege itself. The "language

unread,

Future of Frege editors/IDEs

visual studio code would even allow writing the language service in Frege itself. The "language

2/1/17

Abhinav Sharma

1/31/17

Q&A

Generating bindings for Jsysn sound engine

Hi everyone :) I was wondering how can I go about writing some bindings for the Jsyn sound engine

unread,

Q&A

Generating bindings for Jsysn sound engine

Hi everyone :) I was wondering how can I go about writing some bindings for the Jsyn sound engine

1/31/17

gulp21, … Alexander Myltsev5

12/18/16

Several Haskell libraries ported to Frege

Hi, when you can tell what I have to do in order to make it usable as a standalone library, I'd

unread,

Several Haskell libraries ported to Frege

Hi, when you can tell what I have to do in order to make it usable as a standalone library, I'd

12/18/16

Russel Winder

12/15/16

Frege and SDKMan!

I wonder if Frege should get itself into SDKMan!. Having the ability to do "sdk install frege

unread,

Frege and SDKMan!

I wonder if Frege should get itself into SDKMan!. Having the ability to do "sdk install frege

12/15/16

Michael Chavinda, … Ingo W.3

11/27/16

Writing Android applications in Frege

Hi Michael, Am Sonntag, 27. November 2016 19:26:24 UTC+1 schrieb Michael Chavinda: If completed, can

unread,

Writing Android applications in Frege

Hi Michael, Am Sonntag, 27. November 2016 19:26:24 UTC+1 schrieb Michael Chavinda: If completed, can

11/27/16

Cody Goodman, … Michael Chavinda30

11/27/16

Android application in Frege & Frege Android

Building on the work done by Patrick I've managed to get an app working only in Frege. I'll

unread,

Android application in Frege & Frege Android

Building on the work done by Patrick I've managed to get an app working only in Frege. I'll

11/27/16

Russel Winder, Ingo W.2

11/18/16

IntelliJ IDEA files in repository

Hi Russel, which repository is it exactly? Regards, Ingo

unread,

IntelliJ IDEA files in repository

Hi Russel, which repository is it exactly? Regards, Ingo

11/18/16