Frege: A JVM pure functional programming language in the spirit of Haskell • Hacker News Board

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#11

Post by chops » Thu, Nov 07, 2013, 1:47 PM UTC

Xophmeister wrote: post #6

bitdiddle wrote: post #2

Cute name. I wonder to what extent the language has anything to do with Frege's work in logic. I mean Haskell's last name was Curry, and currying is a big deal in FP. Thankfully that wasn't named after Moses Schoenfinkel.

That said, I always felt that "Finkel" would be a cute name for an FP language, service or library... I call dibs!

With its packaging system called Einhorn.

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#12

Post by reirob » Thu, Nov 07, 2013, 1:51 PM UTC

A presentation about Frege from the author itself: http://fregepl.blogspot.jp/2013/08/talk-at-karlsruhe-functio...

Actually it is the link to the blog entry that contains a link to the presentation.

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#13

Post by Touche » Thu, Nov 07, 2013, 1:53 PM UTC

Looks really cool! Oh, it runs on the JVM. Hm, too bad.

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#14

Post by oggy » Thu, Nov 07, 2013, 1:55 PM UTC

bitdiddle wrote: post #2

Cute name. I wonder to what extent the language has anything to do with Frege's work in logic. I mean Haskell's last name was Curry, and currying is a big deal in FP. Thankfully that wasn't named after Moses Schoenfinkel.

Actually, I've heard of German professors who used the word "Schoenfinkeln" instead of "currying". You sometimes get people who try to fight the English influence off at all costs ;)

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#15

Post by cordite » Thu, Nov 07, 2013, 2:10 PM UTC

reirob wrote: post #5

"Frege is thought as a substitute for this missing GHC port. While not derived from any existing Haskell implementation, it is more or less equivalent to Haskell 2010. Please see the wiki page that details the differences." So now Haskell can produce native executable code, run in a JVM and as subset of it ( https://github.com/faylang/fay/wiki ) run in the browser. Now there is no excuse for me to NOT using Haskell ;…

If you look at the differences page, it is equivalent in power, but does not have the same expression.

Pragmas now sorta start with @, and type classes are (in my opinion) kinda funky coming from Haskell.

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#16

Post by bjourne » Thu, Nov 07, 2013, 2:15 PM UTC

reirob wrote: post #5

"Frege is thought as a substitute for this missing GHC port. While not derived from any existing Haskell implementation, it is more or less equivalent to Haskell 2010. Please see the wiki page that details the differences." So now Haskell can produce native executable code, run in a JVM and as subset of it ( https://github.com/faylang/fay/wiki ) run in the browser. Now there is no excuse for me to NOT using Haskell ;…

A large part of why I like Haskell is the ghc-specific extensions. TemplateHaskell, OverloadedStrings, DeriveGeneric etc.. Standard Haskell is (imho) much more cumbersome without them.

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#17

Post by noelwelsh » Thu, Nov 07, 2013, 2:25 PM UTC

stuhood wrote: post #8

The conclusions of http://fregepl.blogspot.jp/2013/03/adding-concurrency-to-fre... lead me to believe that the author knows significantly more about Haskell than about either the JVM or concurrency. I hope that the language is able to attract a healthy number of contributors in those areas before it begins to accrete it's own idiomatic concurrency patterns.

Your comment would be more useful if you elaborated on these claims.

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#18

Post by GertrudeCruz » Thu, Nov 07, 2013, 2:29 PM UTC

stuhood wrote: post #8

The conclusions of http://fregepl.blogspot.jp/2013/03/adding-concurrency-to-fre... lead me to believe that the author knows significantly more about Haskell than about either the JVM or concurrency. I hope that the language is able to attract a healthy number of contributors in those areas before it begins to accrete it's own idiomatic concurrency patterns.

my best friend's step-mother makes $81 an hour on the laptop. She has been unemployed for six months but last month her income was $18340 just working on the laptop for a few hours. why not find out more... www.Buzz19.com

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#19

Post by Tyr42 » Thu, Nov 07, 2013, 2:31 PM UTC

I like some of the differences where it was not constrained by Haskell's choices, like splitting up the Monad, Applicative, Functor instances, and namespacing of accessors. I also quite like the • for compose, with then some shims so that . works too if it's not being used for the namespacing.

Re: Frege: A JVM pure functional programming language in the spirit of Haskell

#20

Post by waterlion » Thu, Nov 07, 2013, 2:40 PM UTC

Touche wrote: post #13

Looks really cool! Oh, it runs on the JVM. Hm, too bad.

What would you prefer? A language that doesn't need a runtime, like C? A language that has only one available runtime, like node.js? A language that has a choice of runtimes but there are incompatibilities between them like Python or Ruby? A language that has a choice of runtimes from a choice of vendors like Java?