Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Jul 21 15:29
    ndmitchell commented #280
  • Jul 21 09:42
    Dierk commented #280
  • Jul 21 05:35
    ndmitchell commented #280
  • Jul 15 19:56

    Dierk on master

    include a note about the online… (compare)

  • Jun 02 09:29
    roti opened #33
  • May 23 22:07
    deliciouslytyped commented #375
  • May 23 22:06
    deliciouslytyped commented #375
  • May 07 10:01
    russel commented #377
  • May 07 07:46
    Dierk labeled #377
  • May 07 07:44
    Dierk commented #377
  • May 06 18:11
    russel opened #377
  • Apr 12 07:20
    Hzqi closed #376
  • Apr 12 07:20
    Hzqi commented #376
  • Apr 12 07:18
    Ingo60 commented #376
  • Apr 12 07:17
    Ingo60 commented #376
  • Apr 12 07:07
    Hzqi commented #376
  • Apr 12 06:55
    Ingo60 commented #376
  • Apr 12 06:52
    Ingo60 commented #376
  • Apr 12 01:43
    Hzqi opened #376
  • Apr 08 08:49
    deliciouslytyped commented #36
Adrian Legaspi
@akilegaspi
is frege still being actively developed?
Ingo Wechsung
@Ingo60
Hallo @advancedwebdeveloper , right, there's not much activity at the moment.
Ivan
@advancedwebdeveloper
and is that possible to get a historical overview of the project? Overview of the the compiler design?
considering a meetup, which we could arrange in Ukraine - we could record that presentation and some workshops, followed by sharing videos on youtube
Michael Chavinda
@mchav
Depending on how the Haskell community feels we could try and get Frege into next year's GSOC.
Dierk König
@Dierk
@mchav that would be cool. Do you have any specific topic in mind?
Michael Chavinda
@mchav
The automatic FFI project seems pretty good and interesting as well as the other meatier pull requests. Plus some work in the ecosystem as well. Creating packages etc.
Dierk König
@Dierk
good points. We could also complete more of the Haskellbook examples.
BTW for those who are interested about current activities: a master student of mine currently works on a Frege integration with Apache Spark.
Răzvan Rotaru
@roti

I'm trying to build FregeFX against JavaFX 11 and with Frege 3.25, and since my gradle knowledge is limited, I'm stuck. Essentially I added JavaFX as a dependency like this:

dependencies {
    if (jfxLibDir) {
        runtime files("$jfxLibDir/jfxrt.jar")
    } // TODO: find out why this seems to be necessary even on JDK 8

    runtime 'org.openjfx:javafx-controls:11.0.2'
    runtime 'org.openjfx:javafx-graphics:11.0.2'
}

but when the frege compiler runs, the JavaFX classes are not available

Răzvan Rotaru
@roti
@Dierk what is the reason of using JFX instead of IO in FregeFX? can JFXWorld be defined without a java class?
Volker
@vsts
@roti As far as I know, the reason for JFX instead of IO is the UI thread. All actions to JavaFX components should happen in the UI thread of JFX, so the type JFX guarantees this at compile time.
Volker
@vsts
@Dierk regarding https://groups.google.com/forum/#!topic/frege-programming-language/sHG8NatJQcc (I could not get my google working) the map must be sorted to make usage of 2PL. And ConcurrentHashMap is a little of a "Weißer Schimmel" as there are Locks already.
Dierk König
@Dierk
@roti
@roti
hm, the mobile client is weird ...
Dierk König
@Dierk
@roti yes, @vsts is right. JavaFX elements must only be touched (read or write) from the JavaFX UI Application thread while all other general purpose IO and impure actions must happen outside that thread. JFX is an action type that allows enforcing these constraints through the type system such that code that violates these constraints will never compile and thus never run.
@vsts I totally forgot about this issue. Would you like to care for it?
Javier Neira
@jneira
Ñ
unknown unknown
@mommysmilkers_gitlab
Hi. Does Frege support type classes? I saw that it didn't in some 2017 wikipage and powerpoint.
Perhaps things are different in 2019? :)
unknown unknown
@mommysmilkers_gitlab
"Implementation of type classes may be incomplete and or entirely missing. Currently, multi parameter type classes are not supported."
Is this still accurate?
unknown unknown
@mommysmilkers_gitlab
Hmm FregeRepl is frozen anytime I try to execute a command within it, in Eclipse.
Could be that I'm using Java 11.
unknown unknown
@mommysmilkers_gitlab
Hmm http://try.frege-lang.org/ is no longer up
Dierk König
@Dierk
@mommysmilkers_gitlab typeclasses as a language feature are fully supported but the Frege stdlib might not have implementations for specific classes that are available elsewhere, e.g. to have a Reader class implementation for the RoseTree data type.
@mommysmilkers_gitlab the online repl has to move servers but the move is not fully done, yet.
@mommysmilkers_gitlab what are you using Frege for?
unknown unknown
@mommysmilkers_gitlab
@Dierk Well I would like to use Frege as a scripting language, for writing plugins in an existing project, that takes advantage of a provided Java API
JDK 11 is used for that project, and I would need to extend different classes (not sure if I can extend classes in Haskell as I'm currently going through 'Programming in Haskell' now)
Would I be able to do that?
Also I noticed when using the REPL in the Windows 10 command prompt, statements with results that are greater than a fixed length are cut off and nothing is added to the new line.
Such as: [(x,y) | x <- [1..5], y <- [1..5]]
Starting back at trying to get Frege to work properly in Eclipse with JDK 11 tonight.
unknown unknown
@mommysmilkers_gitlab
Has development mostly stopped on this project, @Dierk , it looks as though it was highly active from 2015-2017 but less so now. I noticed the same with ETA.
unknown unknown
@mommysmilkers_gitlab
o_o
unknown unknown
@mommysmilkers_gitlab
Perhaps I overdid the questioning. If so, sorry, just a bit excited.
Johannes Kuhn
@DasBrain
what happened to http://try.frege-lang.org?
Dierk König
@Dierk
@DasBrain the service needs to move to a new server and I haven't done this, yet. Sorry. You might want to switch to one of the local repls ftm.
@mommysmilkers_gitlab interesting Frege things happen outside the core, e.g. one of my master students evaluates the use of Frege for machine learning and big data processing with Apache Spark. That also has some scripting aspects to it.
unknown unknown
@mommysmilkers_gitlab
@Dierk Interesting! Should I be able to use Frege with JDK 11?
Is the 80 character limit in the REPL just in Windows or across all platforms?
unknown unknown
@mommysmilkers_gitlab
Where could I find a writeup of that evaluation?
unknown unknown
@mommysmilkers_gitlab
Ahh I see the repo :)
unknown unknown
@mommysmilkers_gitlab
What is the most wholesome Frege Hello World tutorial that I can reference, while using JDK 11? I'm going through 'Programming in Haskell' and would like to write my solutions in both GHC Haskell and Frege Haskell.
unknown unknown
@mommysmilkers_gitlab
Hmm well I'm following https://github.com/Frege/frege/wiki/Getting-Started with JDK 11 in Windows, using Cygwin.
I am fine with everything up to the point of https://github.com/Frege/frege/wiki/Getting-Started#why-should-one-even-care-about-module-names where I get the following error when truing to build:
$ java -Xss1m -cp build:frege3.25.84.jar examples.SimpleIO
Error: Could not find or load main class examples.SimpleIO
Caused by: java.lang.ClassNotFoundException: examples.SimpleIO