This is the mail archive of the guile@sources.redhat.com mailing list for the Guile project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]

Re: Design sketch for Ior---a new type of Scheme interpreter

To: djurfeldt at nada dot kth dot se
Subject: Re: Design sketch for Ior---a new type of Scheme interpreter
From: Jost Boekemeier <jostobfe at linux dot zrz dot TU-Berlin dot DE>
Date: 18 Aug 2000 18:50:32 +0200
Cc: guile at sourceware dot cygnus dot com
References: <E13PH6k-0007rS-00@mdj.nada.kth.se> <p2t3dk2wo2w.fsf@ruebe.zrz.tu-berlin.de> <xy7lmxuo84k.fsf@mdj.nada.kth.se> <p2tzomav8ji.fsf@ruebe.zrz.tu-berlin.de> <xy7d7j6o74w.fsf@mdj.nada.kth.se>

Mikael Djurfeldt <mdj@mdj.nada.kth.se> writes:

> Is it this you're talking about?

Yes.

> > If so, where does this type come from?
> 
> Method compilation starts with type analysis which results in
> continuation argument types for the branch.

Okay.  I guess this is called "soft typing", but I haven"t red
enough about it yet.

Jost

References:
- Design sketch for Ior---a new type of Scheme interpreter
  - From: Mikael Djurfeldt
- Re: Design sketch for Ior---a new type of Scheme interpreter
  - From: Jost Boekemeier
- Re: Design sketch for Ior---a new type of Scheme interpreter
  - From: Mikael Djurfeldt
- Re: Design sketch for Ior---a new type of Scheme interpreter
  - From: Jost Boekemeier
- Re: Design sketch for Ior---a new type of Scheme interpreter
  - From: Mikael Djurfeldt

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]