Re: [Factor-talk] type-checking

2011-11-05 Thread L N
Nice. On Sat, Nov 5, 2011 at 2:41 PM, Joe Groff wrote: > On Sat, Nov 5, 2011 at 11:35 AM, L N 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 provide

Re: [Factor-talk] MetaCat

2011-11-05 Thread Joe Groff
On Sat, Nov 5, 2011 at 11:21 AM, L N wrote: > Wondering if Factor has something similar. > For trivial things like rewriting 'swap swap', we let the compiler's optimizer deal with those. It performs many of those optimizations. To implement your own compile-time transforms, you can use Factor's

Re: [Factor-talk] type-checking

2011-11-05 Thread Joe Groff
On Sat, Nov 5, 2011 at 11:35 AM, L N 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

[Factor-talk] type-checking

2011-11-05 Thread L N
Wondering if there is a way to do type-checking in Factor. Sorry for the inundation of questions. Factor is a fascinating new environment. - Leonard -- RSA(R) Conference 2012 Save $700 by Nov 18 Register now http://p.sf

[Factor-talk] MetaCat

2011-11-05 Thread L N
This seems like a good idea ... > MetaCat and Rewriting Rules > > Cat has no lexical environment and only a single stack. This makes it very > easy to rewrite Cat code. The Cat interpreter comes with a built-in term > rewriting system called MetaCat that is activated using the "#metacat" or > "#m"

Re: [Factor-talk] domain specific language

2011-11-05 Thread Doug Coleman
http://factor-language.blogspot.com/2009/09/survey-of-domain-specific-languages-in.html Take a look. On Sat, Nov 5, 2011 at 11:13 AM, L N wrote: > Found an article about "domain specific languages" ... > > http://www.onboard.jetbrains.com/articles/04/10/lop/ > > The argument is that coding in do

[Factor-talk] domain specific language

2011-11-05 Thread L N
Found an article about "domain specific languages" ... http://www.onboard.jetbrains.com/articles/04/10/lop/ The argument is that coding in domain-specific-terms is the natural way. Wondering how the idea of vocabularies in Factor is related to the idea of "domain specific languages". http://doc

Re: [Factor-talk] manos

2011-11-05 Thread P.
Here's a taste of what it could possibly look like: http://rwmj.wordpress.com/2010/08/07/jonesforth-git-repository/ Look at the links below "The original tutorial is in two parts". rien On Sat, Nov 5, 2011 at 1:48 PM, L N wrote: > Found this awhile back from a google search ... > > http://andy

[Factor-talk] manos

2011-11-05 Thread L N
Found this awhile back from a google search ... http://andy.junkdrome.org/devel/manos/proposal The idea is to implement an operating system almost completely in TCL. A minimum amount of low-level C-libraries is also allowed. What would it be like to implement an operating system almost entirely