3,383 reputation
917
bio website contexo.de
location Germany
age 54
visits member for 4 years, 2 months
seen 7 hours ago

I am interested in functional programming and the java platform.

I wrote and published a programming language named "Frege" (after the great german logician) that brings together both worlds.

The language is in many respects like haskell (syntax, type system, lazy semantics) but allows to use java methods as functions.

For more information see https://github.com/Frege/frege


Jul
17
answered Y combinator and tail call optimizations
Jul
17
comment Long Filename Extensions: Why Not
There is no such thing as a file extension, at least not in more recent operating systems.
Jul
17
comment Which is Preferable: FirstName LastName or Forename Surname etc
@StevenDoggart The bottom line is, cultures are different. For example, in Russian, a gentle way to adress someon is "Given Name" "Father's Name" like if someones name is Iwan Iwanowitsch Inwanow, you'd write "Dear Iwan Iwanowitsch" and not "Mr. Iwanow"
Jul
11
comment Why does OCaml's (and F#'s) type inference algorithm need tagging functions as recursive?
@jozefg Yeah, interesting, though i find the example less convincing. You can't say let s = "foo"; x=3; s = "bar" in s (can you?), so I feel Oleg's example should not even compile (as different things are bound to the same name at the same scope). If it does compile, however due to early desugaring of let, the compiler could as well emit a warning.
Jul
11
comment Why does OCaml's (and F#'s) type inference algorithm need tagging functions as recursive?
I support @delnan on this. The question is good, we simply want to know the "reasons that don't apply to a pure language". In the answers to the other questions, historical and scoping issues are mentioned, but those have nothing to do with type inference.
Jul
11
comment What class of problem is this, and what math do I need to know to solve it?
Changes are that cost minimization with respect to apple/orange price ratio would be the next step in the evolution of this program.
Jul
11
comment What class of problem is this, and what math do I need to know to solve it?
This problem gets even more interesting if you'd have to take into account the current price of apples and oranges.
Jul
3
answered How is a “Software Developer” different from a “Software Consultant”? What makes a consultant?
Jun
28
comment Named output parameters vs return values
@Abyx - Some documentation is unavoidable in any case.
Jun
27
comment Would learning any natural language in particular further your programming career?
+1! To say it more broadly: This is because learning anything (for most values of any) will further any career. But not only that. A more educated human simply has a better life.
Jun
27
comment Named output parameters vs return values
Often, a Tuple<A,B> is sufficient.
Jun
24
comment OOP concept: is it possible to update the class of an instantiated object?
Perl also allows to change an objects type.
May
17
answered Good practice -apply paradigm to a language that is not fit for it
May
10
comment Writing a Compiler Compiler - Insight on Use and Features
To me, it is not obvious what the project is all about. For example, since the days of yacc, we have seen lots of parser generators. What is different in your OILexer? What is the new?
May
9
comment What does Uncle Bob mean by 'noun phrase names'?
Words like this may indicate poor modeling of the problem space. - Well, one would think, either the problem space is modelled poorly or not, independent of the names choosen. A good name doesn't help a poor design; and a good design is only marginally hurt by a poor name.
May
8
comment How To Become More Comfortable with the Technical Terms
Read! When done, read more. And finally, read even more.
May
7
comment Decimal to 17-bit 2's Complement Signed Number
Great you made it clear how the deciaml numbers are being converted. But, wouldn't it be easier to just take 2*65536/100 * -1, and since all java integers are in 2s complement, we already have the bit pattern.
May
7
revised Decimal to 17-bit 2's Complement Signed Number
added 502 characters in body
May
7
comment Decimal to 17-bit 2's Complement Signed Number
@Mark There is no such thing as 2's complement for non integers. Please take note. If you want 0.02, we need a specification how to represent it. I'll edit my post and add some comments.
May
7
answered Decimal to 17-bit 2's Complement Signed Number