[Haskell-cafe] Re: Channel9 Interview: Software Composability and theFu ture of Languages

Dougal Stanton ithika at gmail.com
Wed Jan 31 07:11:05 EST 2007

Quoth Bulat Ziganshin, nevermore,
> are you learned to write things in this way? in *my* school, we have
> studied
> f=(a*b+d)*2

Also there's the issue of variable substitution. It gets taught very
early on when algebra is introduced (at least in UK):

  f = x + 3y  and  y = sqrt(4 + n)
  => f = x + 3(sqrt(4 + n))

  (I can't think of a real example at the moment, sorry!)

Unless the calculation for y is extremely arduous you're always taught
to just throw them all together. This really gets across the "equality
by definition" thing that pure FP uses. There's no need to do things in
any particular order.

This is pretty close to how 'straight' function application works; I
don't think we ever did anything like higher order functions in
high-school algebra. Maybe that's the next step --- lambda calculus at
age ten and up! :)



More information about the Haskell-Cafe mailing list