Hacker News Reader

Comment by cheepin | Hacker News Reader

Your example, g actually takes the unit tuple, and returns 5. In ML, in general, you have to disambiguate with parentheses sometimes, but the compiler is very strict about types, so it's usually pretty easy to tell where they need to be.

Look here: http://try.ocamlpro.com/

Try this code:

let g() = 5 g() == 5 g != 5

First line defines the function. Second line should evaluate to true. Third line doesn't type check because a function is not the same type as a literal.

View on HN

Exactly. My favourite ML-style language is Haskell, and there we almost never want to call a function with the unit-tuple as an argument.

Haskell does differentiate between IO-actions and functions. Here is an example:

    main = do
      let printFive = print 5
      print 1
      printFive
      print 6
      printFive

Will print

The type systems helps enormously keeping things straight here, but the basic concept would work in a non-statically typed language, too.

> the basic concept would work in a non-statically typed language, too

How? How do I compare. say, two functions for equality, without comparing the return value instead?

Oh, I should have been more explicit:

The decoupling of function calling and IO actions can work in non-statically typed languages, too.

Your question concerns a different topic. To give something like an answer: that problem can only occur with `functions' of zero arguments. Haskell sidesteps the issue by requiring all functions to have exactly one argument.

Okay, that's cheating. Or rather, that's fine for them, but is no help in porting this idea to Python, which definitely has functions of zero arguments, and they aren't even that rare. (Although comparing functions for equality is rare, but it should at least be possible.)

Reply on news.ycombinator.com