On Fri, Apr 3, 2009 at 4:31 PM, Chong Yidong c...@stupidchicken.com wrote:
Andy Wingo wi...@pobox.com writes:
On Wed 01 Apr 2009 06:31, Stefan Monnier monn...@iro.umontreal.ca writes:
(defun append (l1 l2)
(declare (type _∷_ ↓ x ⊛ sequence Γ))
Another tack would be something like
... 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
Hey,
Andy Wingo wi...@pobox.com writes:
On Wed 01 Apr 2009 06:31, Stefan Monnier monn...@iro.umontreal.ca 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
Andy Wingo wi...@pobox.com writes:
On Wed 01 Apr 2009 06:31, Stefan Monnier monn...@iro.umontreal.ca 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
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 than
Andy Wingo wrote:
Hi Daniel,
On Tue 31 Mar 2009 12:44, Daniel Kraft d...@domob.eu 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
Daniel Kraft d...@domob.eu 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;
Daniel Kraft d...@domob.eu 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;
Hi Clinton,
On Tue 31 Mar 2009 13:28, Clinton Ebadi clin...@unknownlamer.org 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
Hi Daniel,
On Tue 31 Mar 2009 12:44, Daniel Kraft d...@domob.eu 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
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 n...@ossau.uklinux.net writes:
If you followed this kind of approach, note that it would also need
work - in addition to the Elisp/VM translation - to implement
Andy Wingo wi...@pobox.com writes:
Hi Daniel,
On Tue 31 Mar 2009 12:44, Daniel Kraft d...@domob.eu 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!
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 we
13 matches
Mail list logo