|
|
 Up |
|
|
  |
Author: Mark TarverMark Tarver Date: Aug 10, 2008 07:06
Merlin (named after the famous British engine of my favourite British
plane - the Spitfire) is the new compiler for Qi II. It has 4 speed
settings - 0 to 3. FYI here is the Lisp object code for factorial at
different settings.
(define factorial
{number --> number}
0 -> 1
X -> (* X (factorial (- X 1))))
speed 0 - no optimisations
(DEFUN factorial (V891)
(COND ((EQL 0 V891) 1) (T (* V891 (factorial (- V891 1))))))NIL :
(list A)
speed 1 - limited optimisations - optimise certain calls, reduce car/
cdring.
This is the efault setting
(DEFUN factorial (V896)
(COND ((EQL 0 V896) 1) (T (* V896 (factorial (1- V896))))))NIL :
(list A)
speed 2 - optimise using type information
|
| Show full article (1.34Kb) |
|
| | 11 Comments |
|
|
Author: Slobodan BlazeskiSlobodan Blazeski Date: Aug 11, 2008 01:12
On Aug 10, 4:06 pm, Mark Tarver ukonline.co.uk> wrote:> Merlin (named after the famous British engine of my favourite British
> plane - the Spitfire)
Why does everybody seem to forgeth the backbone of RAF, Hawker
Hurricane. That was also powered by Rolls Royce Merlin.
>is the new compiler for Qi II. It has 4 speed
> settings - 0 to 3. FYI here is the Lisp object code for factorial at
> different settings.
>
> (define factorial
> {number --> number}
> 0 -> 1
> X -> (* X (factorial (- X 1))))
>
> speed 0 - no optimisations
>
> (DEFUN factorial (V891)
> (COND ((EQL 0 V891) 1) (T (* V891 (factorial (- V891 1))))))NIL :
> (list A)
> ...
|
| Show full article (1.64Kb) |
|
| | no comments |
|
|
Author: Slobodan BlazeskiSlobodan Blazeski Date: Aug 11, 2008 01:56
What do you need to be able to integrate Qi type system in a
language? I'm working on my language and still haven't decided about
type system. I would like to have a static checks, (if they are
optional) but the best from what I found is
http://www.cs.utexas.edu/users/boyer/ftp/diss/akers.pdf that comes
with a huge price of flexibility that I'm not willing to pay. I looked
at your 10 cent typechecker but the functions defined there are
simple, edis' are heavily overloaded. For example even simple + could
be called, in array style:
(+ 2 '( 1 2 3))
(3 4 5)
(+ '(1 2 3) '(1 2 3))
(2 4 6)
(+ '(1 2) '((0 1) (2 3) (4 5)))
((1 5) (2 6) (3 7))
|
| Show full article (1.08Kb) |
| no comments |
|
|
Author: Mark TarverMark Tarver Date: Aug 11, 2008 01:56
On 11 Aug, 09:12, Slobodan Blazeski gmail.com>
wrote:> On Aug 10, 4:06 pm, Mark Tarver ukonline.co.uk> wrote:> Merlin (named after the famous British engine of my favourite British>> plane - the Spitfire)
>
> Why does everybody seem to forgeth the backbone of RAF, Hawker
> Hurricane. That was also powered by Rolls Royce Merlin.
>
>
>
>>is the new compiler for Qi II. It has 4 speed
>> settings - 0 to 3. FYI here is the Lisp object code for factorial at
>> different settings.
>
>> (define factorial
>> {number --> number}
>> 0 -> 1
>> X -> (* X (factorial (- X 1))))
>
>> speed 0 - no optimisations ...
|
| Show full article (2.11Kb) |
| no comments |
|
|
Author: Slobodan BlazeskiSlobodan Blazeski Date: Aug 11, 2008 02:03
On Aug 11, 10:56 am, Mark Tarver ukonline.co.uk> wrote:> On 11 Aug, 09:12, Slobodan Blazeski gmail.com>>> Why does everybody seem to forgeth the backbone of RAF, Hawker
>> Hurricane. That was also powered by Rolls Royce Merlin.
>
> Indeed, but you know it never had the beautiful lines of the Spitfire
> - the elliptical wings and the dihedral slant that made it so pretty.
> It as essentially an older design in concept. As you say it did
> however have the same Merlin engine that its sister aircraft had.- Hide quoted text -
Sorry I was little bit nostalgic, Hurricane was my favourite childhood
toy and only memory from my grand-grandfather. He emigrated in England
in start of WW2 and never came back.
|
| |
| no comments |
|
|
Author: Mark TarverMark Tarver Date: Aug 11, 2008 02:19
On 11 Aug, 09:56, Slobodan Blazeski gmail.com>
wrote:> What do you need to be able to integrate Qi type system in a
> language? I'm working on my language and still haven't decided about
> type system. I would like to have a static checks, (if they are
> optional) but the best from what I found ishttp://www.cs.utexas.edu/users/boyer/ftp/diss/akers.pdfthat comes
> with a huge price of flexibility that I'm not willing to pay. I looked
> at your 10 cent typechecker but the functions defined there are
> simple, edis' are heavily overloaded. For example even simple + could
> be called, in array style:
> (+ 2 '( 1 2 3))
> (3 4 5)
>
> (+ '(1 2 3) '(1 2 3))
> (2 4 6)
>
> (+ '(1 2) '((0 1) (2 3) (4 5)))
> ((1 5) (2 6) (3 7))
>
> Or they could be completely redefined or even removed at ...
|
| Show full article (2.12Kb) |
| no comments |
|
|
Author: Slobodan BlazeskiSlobodan Blazeski Date: Aug 11, 2008 02:57
On Aug 11, 11:19 am, Mark Tarver ukonline.co.uk> wrote:> On 11 Aug, 09:56, Slobodan Blazeski gmail.com>
> wrote:
>
>
>
>
>>> What do you need to be able to integrate Qi type system in a
>> language? I'm working on my language and still haven't decided about
>> type system. I would like to have a static checks, (if they are
>> optional) but the best from what I found ishttp://www.cs.utexas.edu/users/boyer/ftp/diss/akers.pdfthatcomes
>> with a huge price of flexibility that I'm not willing to pay. I looked
>> at your 10 cent typechecker but the functions defined there are
>> simple, edis' are heavily overloaded. For example even simple + could
>> be called, in array style:
>> (+ 2 '( 1 2 3))
>> (3 4 5) >
>> (+ '(1 2 3) '(1 2 3)) ...
|
| Show full article (3.24Kb) |
| no comments |
|
|
Author: Mark TarverMark Tarver Date: Aug 11, 2008 03:48
On 11 Aug, 10:57, Slobodan Blazeski gmail.com>
wrote:> On Aug 11, 11:19 am, Mark Tarver ukonline.co.uk> wrote:
>
>
>
>
>>> On 11 Aug, 09:56, Slobodan Blazeski gmail.com>
>> wrote:>
>>> What do you need to be able to integrate Qi type system in a
>>> language? I'm working on my language and still haven't decided about
>>> type system. I would like to have a static checks, (if they are
>>> optional) but the best from what I found ishttp://www.cs.utexas.edu/users/boyer/ftp/diss/akers.pdfthatcomes
>>> with a huge price of flexibility that I'm not willing to pay. I looked
>>> at your 10 cent typechecker but the functions defined there are
>>> simple, edis' are heavily overloaded. For example even simple + could
>>> be called, in array style:
>>> (+ 2 '( 1 2 3)) ...
|
| Show full article (4.73Kb) |
| no comments |
|
|
Author: Slobodan BlazeskiSlobodan Blazeski Date: Aug 11, 2008 04:20
On Aug 11, 12:48 pm, Mark Tarver ukonline.co.uk> wrote:> On 11 Aug, 10:57, Slobodan Blazeski gmail.com>
> wrote:
>
>
>
>
>>> On Aug 11, 11:19 am, Mark Tarver ukonline.co.uk> wrote:>
>>> On 11 Aug, 09:56, Slobodan Blazeski gmail.com>
>>> wrote:>
>>>> What do you need to be able to integrate Qi type system in a
>>>> language? I'm working on my language and still haven't decided about
>>>> type system. I would like to have a static checks, (if they are
>>>> optional) but the best from what I found ishttp://www.cs.utexas.edu/users/boyer/ftp/diss/akers.pdfthatcomes
>>>> with a huge price of flexibility that I'm not willing to pay. I looked
>>>> at your 10 cent typechecker but the functions defined there are
>>>> simple, edis' are heavily overloaded. For example even simple + could ...
|
| Show full article (5.46Kb) |
| no comments |
|
|
|
|
|
Author: pls.mrjmpls.mrjm Date: Aug 11, 2008 04:45
On 11 Ago, 11:57, Slobodan Blazeski gmail.com>
wrote:
> ... a baker ... plans to sell ... his staff ...
Isn't this forbidden?
-PM
|
| |
| no comments |
|
|
|
|
