The first input to the specialiser is a description of a two input machine. From Wordnik.com. [Planet Haskell] Reference
But the specialiser is itself a two input machine. From Wordnik.com. [Planet Haskell] Reference
We need one more important concept: the specialiser. From Wordnik.com. [Planet Haskell] Reference
In other words, we can use a specialiser as a compiler. From Wordnik.com. [Planet Haskell] Reference
If we have a specialiser we never need to make a compiler again. From Wordnik.com. [Planet Haskell] Reference
If the specialiser is any good then the compiler will be good too. From Wordnik.com. [Planet Haskell] Reference
So we can specialise the specialiser to work with our interpreter like this. From Wordnik.com. [Planet Haskell] Reference
The specialiser can accept a description of a specialiser as its first input. From Wordnik.com. [Planet Haskell] Reference
In the first projection we provided an interpreter as input to the specialiser. From Wordnik.com. [Planet Haskell] Reference
So the design for an interpreter could be fed into the first input of a specialiser. From Wordnik.com. [Planet Haskell] Reference
We could stuff a description of a specialiser into the specialiser's own first input!. From Wordnik.com. [Planet Haskell] Reference
In other words we can feed a descrption of a specialiser into both inputs of the specialiser!. From Wordnik.com. [Planet Haskell] Reference
The specialiser does the latter so our would-be compiler writer can concentrate on the former. From Wordnik.com. [Planet Haskell] Reference
But who would have guessed that passing a specialiser to itself twice would give us something so useful?. From Wordnik.com. [Planet Haskell] Reference
If we know we're always going to want to use the same interpreter then we could streamline the specialiser to work specifically with this input. From Wordnik.com. [Planet Haskell] Reference
The specialiser whirrs away and eventually outputs a description of a machine that is an interpreter that is dedicated to making that one particular coin. From Wordnik.com. [Planet Haskell] Reference
By writing a specialiser, the purveyors of such tools allow third parties to develop their own compilers and so this is more useful than just writing a dedicated compiler. From Wordnik.com. [Planet Haskell] Reference
And to do that, we use a specialiser. From Wordnik.com. [Planet Haskell] Reference
LearnThatWord and the Open Dictionary of English are programs by LearnThat Foundation, a 501(c)3 nonprofit.
Questions? Feedback? We want to hear from you!
Email us
or click here for instant support.
Copyright © 2005 and after - LearnThat Foundation. Patents pending.