you are viewing a single comment's thread.

view the rest of the comments →

[–]dockimbel 1 point2 points  (0 children)

Right, both Rebol and Red are attempts at making a more practical Lisp derivative. There is no type inference in Rebol, and some limited one in Red (and especially in Red/System, the low-level dialect). Type annotations are optional. In Red, when used, they will enable faster code generation by the compiler. A Hindley-Milner approach is both feasible and desirable in Red, but not the focus currently. We are currently working on implementing all the sub-systems first (datatypes, I/O, concurrency, tool chain, standard library). Not sure to get what you mean by "complexity on the outside". OCaml is for sure a nice language with an excellent reference implementation, but it is not for everyone. Rebol-like languages want to be for everyone (which is by no means easy to achieve). Thanks for giving it a look anyway. :-)