lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]


In message <2dcdf68e1003130327o510cc57bt83f732ceaf6ffa5b@mail.gmail.com>
you wrote:

> As someone has put it, writing introductory tutorials about monads has
> become a burgeoning cottage industry. But is there one using Lua for
> the implementation of the examples? A quick Google search turned out
> nothing.

Monads are hard to express without a type system with type variables
and type constructors. However, there is nothing to stop one
framing an algorithm in a typed language and then stripping out
the type information for translation to an untyped language, say
Scheme or Lua. It is just that the results will need a bit of
annotation if they are to be understood.

-- 
Gavin Wraith (gavin@wra1th.plus.com)
Home page: http://www.wra1th.plus.com/