On Fri, Apr 3, 2009 at 4:31 PM, Chong Yidong wrote:
> Andy Wingo writes:
>
>> On Wed 01 Apr 2009 06:31, Stefan Monnier writes:
>>
>>> (defun append (l1 l2)
>>> (declare (type _∷_ <↓> x ⊛ sequence Γ))
>>
>> Another tack would be something like Typed Scheme, from the PLT folks. I
>> assume
> ... And notice how the syntax in that message isn't even close to valid Agda!
That is unfair: I copied the type annotations from random places in the
Agda library (and then edited them to make them more interesting).
Stefan
PS: Of course, any sequence of chars (especially funny Unico
Hey,
Andy Wingo writes:
> On Wed 01 Apr 2009 06:31, Stefan Monnier writes:
>
>>(defun append (l1 l2)
>> (declare (type _∷_ <↓> x ⊛ sequence Γ))
>
> Another tack would be something like Typed Scheme, from the PLT folks.
Bigloo has syntactic support for static typing, which it also uses
- Remove handling of NIL in Scheme. This special casing is, in my
opinion, distressingly unclean. This would require adding a new
ELISP-IF form that accepts #f/nil as false values
We carefully designed ways to handle nil, #f and () in Guile
so as to be able to intermix Lisp and
Andy Wingo writes:
> On Wed 01 Apr 2009 06:31, Stefan Monnier writes:
>
>>(defun append (l1 l2)
>> (declare (type _∷_ <↓> x ⊛ sequence Γ))
>
> Another tack would be something like Typed Scheme, from the PLT folks. I
> assume you've seen it? It makes particular sense in the context of
>
On Fri 03 Apr 2009 13:31, Chong Yidong writes:
> Andy Wingo writes:
>
>> On Wed 01 Apr 2009 06:31, Stefan Monnier writes:
>>
>>>(defun append (l1 l2)
>>> (declare (type _∷_ <↓> x ⊛ sequence Γ))
>>
>> Another tack would be something like Typed Scheme, from the PLT folks. I
>> assume you
Hi Stefan,
On Wed 01 Apr 2009 06:31, Stefan Monnier writes:
>(defun append (l1 l2)
> (declare (type _∷_ <↓> x ⊛ sequence Γ))
Another tack would be something like Typed Scheme, from the PLT folks. I
assume you've seen it? It makes particular sense in the context of
modules, where interp
Andy Wingo wrote:
Hi Daniel,
On Tue 31 Mar 2009 12:44, Daniel Kraft writes:
as already discussed briefly with the Guile guys behind the new VM
thing, I got the idea to implement Emacs Lisp as supported language for
the Guile VM system.
This sounds great! I'd love to assist. As the fellow wh
> as already discussed briefly with the Guile guys behind the new VM thing,
> I got the idea to implement Emacs Lisp as supported language for the Guile
> VM system.
I won't have time to mentor it, but I'd like to point out some relevant
directions in Emacs's future: as some of you know, other tha
On Tue, 2009-03-31 at 16:15 -0700, Andy Wingo wrote:
Andy et al-
> I keep thinking that it should be possible to write some kind of C shim
> so that Guile could implement the Emacs C "API". That way we keep the
> existing C code working, we keep the fine-tuned implementations and
> semantics, and
Andy Wingo writes:
> Hi Daniel,
>
> On Tue 31 Mar 2009 12:44, Daniel Kraft writes:
>
>> as already discussed briefly with the Guile guys behind the new VM
>> thing, I got the idea to implement Emacs Lisp as supported language for
>> the Guile VM system.
>
> This sounds great! I'd love to assist.
Hi Neil :)
Though I was not the person to whom the question was addressed, a
comment :)
On Tue 31 Mar 2009 15:23, Neil Jerram writes:
> If you followed this kind of approach, note that it would also need
> work - in addition to the Elisp/VM translation - to implement whatever
> Emacs primitives
Hi Daniel,
On Tue 31 Mar 2009 12:44, Daniel Kraft writes:
> as already discussed briefly with the Guile guys behind the new VM
> thing, I got the idea to implement Emacs Lisp as supported language for
> the Guile VM system.
This sounds great! I'd love to assist. As the fellow who's hacked most
Hi Clinton,
On Tue 31 Mar 2009 13:28, Clinton Ebadi writes:
> This is an excellent plan!
Agreed!
> There is already a working elisp->scheme translator for the interpeter
> in lang/elisp.
Yes, that would be a great starting point.
> replacing the @fop and @bind operators in the interpeter wit
This email is going to be about Guile details that the Emacs crowd
probably won't be interested in, so I've removed emacs-devel.
Clinton Ebadi writes:
> There is already a working elisp->scheme translator for the interpeter
> in lang/elisp. I've poked about in it and it would be fairly
> straig
Daniel Kraft writes:
> Hi all,
>
> as already discussed briefly with the Guile guys behind the new VM
> thing, I got the idea to implement Emacs Lisp as supported language
> for the Guile VM system.
>
> Below is a proposal for a GSoC project I submitted to GNU as mentoring
> organization; Karl B
Daniel Kraft writes:
> Hi all,
>
> as already discussed briefly with the Guile guys behind the new VM
> thing, I got the idea to implement Emacs Lisp as supported language
> for the Guile VM system.
>
> Below is a proposal for a GSoC project I submitted to GNU as mentoring
> organization; Karl B
17 matches
Mail list logo
