On Sat, Nov 5, 2011 at 11:35 AM, L N <leonardne...@gmail.com> wrote:
> Wondering if there is a way to do type-checking in Factor.
>
> Sorry for the inundation of questions.
>
> Factor is a fascinating new environment.
>
> Runtime type checking is provided by the `typed` module:
USE: typed
TYPED: f+ ( x: float y: float -- z: float ) + ;
1.0 2.0 + . ! => 3.0
1 2 + . ! error
The compiler doesn't yet detect type errors at compile time. We hope to
integrate type checking features more tightly into Factor's core in the
future.
-Joe
------------------------------------------------------------------------------
RSA(R) Conference 2012
Save $700 by Nov 18
Register now
http://p.sf.net/sfu/rsa-sfdev2dev1
_______________________________________________
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk
