Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
voxfrege
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
31.
▲
by
voxfrege
13y ago
> So what percentage of production code anywhere in the world is written in an eager (strict, whatever) language? How is this relevant? > If you tell me it's less than 99.999%, then you're being dishonest. 99.999% is a "
32.
▲
by
voxfrege
13y ago
I hate to say it, but when Schönfinkel Curried, he in fact Freged, as even currying was anticipated by Frege. See here, for example: http://books.google.de/books?id=OeAPiy-6L74C&pg=PA134&lpg=PA...
33.
▲
by
voxfrege
13y ago
Frege can handle mutual recursion. The only problematic point is recursion through a strict function argument, like in: length (x:xs) = 1 + length xs
34.
▲
by
voxfrege
13y ago
It turned out that porting Haskell code was a nightmare when the (.) did not work yet. (You can't just replace each . with • unless you don't have any qualifed names.) Today, it can be quite easy, in the best case you just Ctrl-C
35.
▲
by
voxfrege
13y ago
Sure, nothing can replace a big community. OTOH, it looks like the Poster did have bad experience with Haskell community, though. A small community is superior insofar as they are more motivated to help, and are more likely to take (critica
36.
▲
by
voxfrege
13y ago
> Anyway, if you don't want to look at it, that's your loss Actually, I did look into it several years back. If I remember correctly, CAL was not pure and still lazy. (An explosive combination, if you ask me.)
37.
▲
by
voxfrege
13y ago
Not true.
38.
▲
by
voxfrege
13y ago
If you don't need the JVM, you don't need Frege either, because there is Haskell. The whole point of the Frege project is to make up (insofar this is possible for a single person who is not SPJ) for the missing Haskell-JVM port.
39.
▲
by
voxfrege
13y ago
> My concern is that I'd be 1 of 3 people who'd be using it. This concern is probably well founded. :) And yet. Remember, you get Java source code from the Frege compiler, and once you pack up your JAR with Proguard, say, nobod
40.
▲
by
voxfrege
13y ago
In the "How to build..." document it says I need Eclipse exactly 3.3.0 I am not going to install this, even if I would find it somewhere, hence ....
41.
▲
by
voxfrege
13y ago
This is easy, Frege is (to my knowledge) the first one who mentions "functions, that take other functions as arguments". In other words: higher order functions.
42.
▲
by
voxfrege
13y ago
> which suggests that the author isn't interested in supporting Haskell's idiomatic concurrency model atop the JVM This is not quite true (I am the author). Yet I know my limits. Every contribution from the community is welcome
43.
▲
by
voxfrege
13y ago
> Would be interesting to see how this performs relative to CAL, in terms of both speed and space. Indeed. Do you have some CAL installation somewhere to make a comparison? (The links I find are all broken.)
44.
▲
by
voxfrege
13y ago
That, exactly, was my thought also.
45.
▲
by
voxfrege
13y ago
> I love the Haskell language and miss all its lovely features. But if the language requires me to change my OS to develop anything useful, that's a nonstarter. Perhaps you may want to give https://github.com/organizations/Frege a try
46.
▲
by
voxfrege
14y ago
> No modern linguist embraces the term Ebonics. Too bad. As a non native english speaker, I could intuitively understand what it means. While "AAVE" doesn't tell nobody nothing.
47.
▲
by
voxfrege
14y ago
I am not so sure if Frege would be of interest for people that look for an impure, strict language. A better fit for that would be Yeti. And assuming that porting a language that is so deeply rooted in the .NET world like F# is very difficu
48.
▲
by
voxfrege
14y ago
> Given the political constraints from Deutschland limiting the ability of the European Central Bank to launch into Fed-style monetary base expansion This is not so. The Bundesbank gets regularly overthrown by the majority in the ECB pa
49.
▲
by
voxfrege
14y ago
> Markets represent what rich people want. Do you want to tell us, that it is the rich people that crowd the Walmarts and other temples of mass consumption? If that are your rich people over there in America, then GOD may have pity with
50.
▲
by
voxfrege
14y ago
No, this is not a problem with market fundamentalism, whatever this is, but with properties ascribed to market fundamentalism. Advocates of free markets tell you that the outcome is such and such if and when market participants can serve th
51.
▲
by
voxfrege
14y ago
This is a very narrow view. What the article should be saying is that with every dollar you do not spend for fight against deadly diseases, well, you're effectively let people die. That means, you (not capitalism), as the owner of a compu
52.
▲
by
voxfrege
14y ago
I rather think you confuse "rational" and "moral". If I suffer of illness X, and I have more money than someone who suffers of Malaria, then it may be rational for pharmaceuticians, for example, to look for cures against X. The market is no
53.
▲
by
voxfrege
14y ago
True, but it's in the same camp, where "elegant" and "I have to write parentheses all the time" are two different concepts, and, and this was the point, it can use the JVM libraries. (in a type safe manner, btw)
54.
▲
by
voxfrege
14y ago
One cannot deny this. It just so happens that what one sees as a good reason is pointless for somebody else.
55.
▲
by
voxfrege
14y ago
Unfortunately, the Wiki page is a bit outdated. The repo contains an example folder: https://github.com/Frege/frege/tree/master/examples And, of course, the compiler is itself written in Frege.
56.
▲
by
voxfrege
14y ago
> but using Java APIs - it is disappointing that there can't be a cleaner join between the worlds. Maybe it can. But does it make sense? For example, you'd need a library that emulates the C stdlib functionality that is used in Haskell.
57.
▲
by
voxfrege
14y ago
If there is no non-strict, purely functional programming language on platform X, nobody is apparently disappointed. If there is one, and if it were very different from Haskell, people would complain: Couldn't you make it more like Haskell,