Live data from Hacker News

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

github.com

21–30 of 112 posts

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

#22
post #14

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 ;)

If you want that in Haskell, there's a package for it

http://hackage.haskell.org/package/acme-schoenfinkel

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

#23
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?

I'd like something running on the CLR. Not because I think the CLR is very special; just because I really like Haskell but I have to work within a large ecosystem of existing .NET code.

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

#24
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?

A runtime that can be used for a wide-variety of types of applications. JVM can really only be used for writing web servers and possibly daemons.

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

#25

Earlier quoted context omitted.

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?

I'd like something running on the CLR. Not because I think the CLR is very special; just because I really like Haskell but I have to work within a large ecosystem of existing .NET code.

Why not F#?

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

#26
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?

> A language that has a choice of runtimes from a choice of vendors like Java?

That is like saying that we should developer Windows apps because you can always deploy using wine on other systems.

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

#27
post #26

Earlier quoted context omitted.

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?

> A language that has a choice of runtimes from a choice of vendors like Java? That is like saying that we should developer Windows apps because you can always deploy using wine on other systems.

I'm not sure what you're saying.

If you're calling into question the portability of Java, then I can run the same bytecode on Windows, Mac, Linux, the browser (in theory) and, with a little transpiling, my Android.

If you're saying that that priority of decision drivers is backward, then I disagree:

If you want to develop a Windows app you start by saying "I want to develop something on Windows because my clients/customers run Windows". Then you work out how to do it on Windows.

If you start out saying "I want to write an app that does X" then you have the freedom to choose what balance of priorities affect you, including whether or not portability matters.

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

#28
post #24

Earlier quoted context omitted.

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?

A runtime that can be used for a wide-variety of types of applications. JVM can really only be used for writing web servers and possibly daemons.

Give an example.

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

#29
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?

"A language that doesn't need a runtime, like C?"

The language perhaps doesn't, but most actual programs do. I'm definitely not going to write my own standard library just because I can.

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

#30

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.

Schoenfinkel was my second choice for a name my compiler project. Not a fan, huh? :)
Post reply on HN