Nice.
On Sat, Nov 5, 2011 at 2:41 PM, Joe Groff <[email protected]> wrote:
> On Sat, Nov 5, 2011 at 11:35 AM, L N <[email protected]> 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
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
>
------------------------------------------------------------------------------
RSA(R) Conference 2012
Save $700 by Nov 18
Register now
http://p.sf.net/sfu/rsa-sfdev2dev1
_______________________________________________
Factor-talk mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/factor-talk
