Atomo, the programmer's programmable programming language

Re:Atomo, the programmer's programmable programming language by apl on Saturday November 13, 2010 @02:55PM (#1901537)

Sure, but I'm surprised by the "reversed" notation. Wouldn't it be

  fib 0 = 1

in Haskell? I just felt that this order works well for pattern matching functions, but not as well in other contexts. No CS background here, by the way; maybe I'm just missing your point.

[ Parent | on HN ]

Re:Atomo, the programmer's programmable programming language by vito on Saturday November 13, 2010 @03:05PM (#1901564)

Both of those uses of = above are actually pretty consistent, given how Atomo's scoping and dispatch system works.

When you said "for 0, fib is 1," you could just as easily say "for the current scope object, x is Object clone." This is exactly how it works. Method dispatch is 100% pattern-matching, and Atomo's scopes are 100% message dispatch, combined with delegation.

When you say "0 fib = 1", the method is inserted on Integer. When you send a message to an Integer, you're sending (pseudocode) `Single "fib" (Integer 0)`. The methods on Integer pattern-match on that, in this case with `PSingle "fib" (PMatch (Integer 0))`. If that pattern fails, it moves on to "1 fib = ...", and finally to the least-precise "(n: Integer) fib := ...".

Not sure if that answers your question, but I thought I'd expand on it a bit.

[ Parent | on HN ]

Re:Atomo, the programmer's programmable programming language by steveklabnik on Saturday November 13, 2010 @03:18PM (#1901595)

It would be. My bad, I thought you were talking about the concept not the order of things.

I'm not sure how I feel about it, to be honest. But I do love me some pattern matching...

[ Parent | on HN ]