When I wrote this, I was thinking about implementing some form of
static types, because so much of the literature on monads relies on a
static type system. But I suppose that all you really need is a
consistently enforced evaluation order. The static types are not
really _required_, they just h
From: Ivan Raikov <[EMAIL PROTECTED]>
Subject: Re: [Chicken-users] google summer of code
Date: Tue, 11 Mar 2008 09:43:52 +0900
>
> Well, users of monadic programming languages would say that
> continuations are monads in disguise :-) And yes, monads are "just"
> st
Houman Zolfaghari wrote:
The continuation monad is indeed CPS intentionally in disguise. Note
however that monads are not limited to CPS or state threading.
Monads have many other interesting uses and they present a powerful
paradigm for adding features to functional semantics in a systemati
On 10-Mar-08, at 4:18 PM, felix winkelmann wrote:
(Side note: Monads are just CPS in disguise, statically typed and
in a side-effect free environment)
The continuation monad is indeed CPS intentionally in disguise. Note
however that monads are not limited to CPS or state threading. Monads
Well, users of monadic programming languages would say that
continuations are monads in disguise :-) And yes, monads are "just"
statically typed continuations in a side-effect free environment, but
my point was that implementing them in Chicken would be non-trivial,
unless you had an elegant way
On 3/7/08, Ivan Raikov <[EMAIL PROTECTED]> wrote:
>
> Concurrent Haskell is based on monadic processes: if you want to
> have Haskell-like threads, first you need to provide support for
> monads in the core of Chicken.
(Side note: Monads are just CPS in disguise, statically typed and
in a side-ef
On 7 Mar 2008, at 5:01 pm, Graham Fawcett wrote:
On reflection, I'd much rather see a really efficient IPC system like
this, rather than having a native-threaded Chicken.
Yep. The overheads (mainly in terms of complexity!) of native threads
are well avoided.
Other than for concurrent design
On 7 Mar 2008, at 3:24 am, Alex Shinn wrote:
What I would probably end up doing is choosing a single
macro system to be required for the module system. Probably
riaxpander because Taylor Campbell will actively support it
and it already handles syntax-rules, syntactic-closures and
explicit rena
On Fri, Mar 7, 2008 at 6:48 PM, Ivan Raikov <[EMAIL PROTECTED]> wrote:
>
> "Graham Fawcett" <[EMAIL PROTECTED]> writes:
>
> > On reflection, I'd much rather see a really efficient IPC system like
> > this, rather than having a native-threaded Chicken.
>
> Try the MPI egg! (Yet another shameles
"Graham Fawcett" <[EMAIL PROTECTED]> writes:
> On reflection, I'd much rather see a really efficient IPC system like
> this, rather than having a native-threaded Chicken.
Try the MPI egg! (Yet another shameless plug, I know).
>
> Other than for concurrent designs, I think there is a case for
On Thu, Mar 6, 2008 at 6:27 AM, Alaric Snell-Pym
<[EMAIL PROTECTED]> wrote:
> I wrote an efficient shared-memory lock-free queue system for a
> client once. They own the copyright, but I would happily mentor a
> student to build a somewhat more general and portable (this was
> specific to a fe
On 06/03/2008, Alex Shinn <[EMAIL PROTECTED]> wrote:
> As you said, the semaphore/mutex thread model is broken.
> Computer Science has advanced a lot since then, and there
> are new concurrency models which are just as fast and easier
> to program in. Erlang is well known for its extremely hig
On Fri, Mar 7, 2008 at 4:24 AM, Alex Shinn <[EMAIL PROTECTED]> wrote:
>
> Actually, that would be far more work than I'd be interested
> in. The different macro systems all have their own
> representations of hygiene information, and getting them all
> to work together would be a pain.
Quite
> "Alaric" == Alaric Snell-Pym <[EMAIL PROTECTED]> writes:
Alaric> I'm also keen on a proper library/module system,
Alaric> though. I'd like to be able to use multiple
Alaric> macro systems in the same source file, for a
Alaric> start. So something where chicken itself has a
On 6 Mar 2008, at 2:08 am, Ivan Raikov wrote:
Well, I think modifying or rewriting the garbage collector would be
quite a lot of work for one summer, for someone who is presumably not
familiar with the Chicken internals. The rest I agree with. MPI is one
such multi-process model, and althoug
Well, I think modifying or rewriting the garbage collector would be
quite a lot of work for one summer, for someone who is presumably not
familiar with the Chicken internals. The rest I agree with. MPI is one
such multi-process model, and although it is often criticized for its
communication ove
> "Ivan" == Ivan Raikov <[EMAIL PROTECTED]> writes:
Ivan> This will require rewriting the garbage
Ivan> collector, not to mention all the other
Ivan> complications that arise from introducing
Ivan> threads. We had a discussion about this at some
Ivan> point in January, I
This will require rewriting the garbage collector, not to mention
all the other complications that arise from introducing threads. We
had a discussion about this at some point in January, I think.
-Ivan
"Shawn Rutledge" <[EMAIL PROTECTED]> writes:
>
> Native threads.
1) Port PLT Redex to Chicken, to support the design of term rewriting
systems without those code walk hacks. Chicken redex would allow for
the following cool projects to be ported from PLT to Chicken:
1.1) Typed Scheme
1.2) The gradually typed lambda calculus of Siek and Taha and Herman,
On 06/03/2008, Peter Bex <[EMAIL PROTECTED]> wrote:
> Hmm, that's odd, I developed it on ppc, so I doubt it's a problem with
> the egg itself. Do you use Chicken 3.0.0?
Turns out he's on amd64 on that box >_>
Neway, exactly what license is the egg under? I cant recognize them by
the text, so I
On 06/03/2008, Peter Bex <[EMAIL PROTECTED]> wrote:
> Hmm, that's odd, I developed it on ppc, so I doubt it's a problem with
> the egg itself. Do you use Chicken 3.0.0?
Yeah, all my egg ebuilds depend on 3.0.0.
I had him try a manual chicken-setup compilation too.
I forwarded him your original
On Wed, Mar 05, 2008 at 11:47:08PM +0100, Leonardo Valeri Manera wrote:
> On 05/03/2008, Peter Bex <[EMAIL PROTECTED]> wrote:
> > Did you check out the chicken 9p egg? It works in multithreaded apps,
> > but two threads can (currently) not share one connection to a server.
>
> It compiled here un
On 05/03/2008, Peter Bex <[EMAIL PROTECTED]> wrote:
> Did you check out the chicken 9p egg? It works in multithreaded apps,
> but two threads can (currently) not share one connection to a server.
It compiled here under x86, but its giving my project leader grief under ppc.
Poking it to see if th
My top two votes would be:
- top priority: module system, along the lines of the (still-emerging)
ERR5RS `libraries' proposal
- polishing an `official' OO extension (maybe that's just tinyclos or
meroon or goops or ??? ...)
Just grist for the mill :-) -- v
_
My top two votes would be:
- top priority: module system, along the lines of the (still-
emerging)
ERR5RS `libraries' proposal
- polishing an `official' OO extension (maybe that's just tinyclos or
meroon or goops or ??? ...)
Just grist for the mill :-) -- v
__
On Wed, Mar 5, 2008 at 12:21 PM, Graham Fawcett
<[EMAIL PROTECTED]> wrote:
> I like the native-threading idea, but it would take one hell of a SoC
> candidate to pull that off.
Yes but maybe if he just gets it partially working, so that there can
be threads but there are also some known and well
On Wed, Mar 5, 2008 at 12:34 PM, Peter Bex <[EMAIL PROTECTED]> wrote:
> On Thu, Mar 06, 2008 at 02:07:43AM +0900, Alex Shinn wrote:
> > > "Felix" == felix winkelmann <[EMAIL PROTECTED]> writes:
> >
> > Felix> If you'd like to help or suggest something,
> > Felix> please provide inpu
On Thu, Mar 06, 2008 at 02:07:43AM +0900, Alex Shinn wrote:
> > "Felix" == felix winkelmann <[EMAIL PROTECTED]> writes:
>
> Felix> If you'd like to help or suggest something,
> Felix> please provide input in the next days. I will be
> Felix> gone over the weekend, but am back at th
On Wed, Mar 05, 2008 at 04:59:31PM +0100, Leonardo Valeri Manera wrote:
> On 05/03/2008, Elf <[EMAIL PROTECTED]> wrote:
> >
> > what is eINIT?
>
> Lets not veer off-topic, but its an alternative init system for
> uni[xc]es - http://einit.org/
>
> Currently we're using guile for our scheme module
On Wed, Mar 5, 2008 at 7:05 AM, felix winkelmann <[EMAIL PROTECTED]> wrote:
> Alex Shinn suggested to apply for a project in Googles
> Summer of Code program. It would be cool to find some folks here
> that would assist me in organizing/mentoring something there:
>
> http://code.google.com/soc/
> "Felix" == felix winkelmann <[EMAIL PROTECTED]> writes:
Felix> If you'd like to help or suggest something,
Felix> please provide input in the next days. I will be
Felix> gone over the weekend, but am back at the start
Felix> of next week.
Well, the one feature I most want is
Hallo,
On Wed, Mar 5, 2008 at 1:52 PM, Heinrich Taube <[EMAIL PROTECTED]> wrote:
> 2. superhard: realtime gc =:)
>
Well, that would mean a brand new implementation of Chicken.
--
-alex
http://www.ventonegro.org/
___
Chicken-users mailing list
depending on their level of expertise, there are two pieces of
functionality I would love to see in chicken that could benefit many
users:
1. medium: a fast, efficient goops implementation for chicken, either
based on current tinyclos or a port of stklos' goops
2. superhard: realtime gc =:
On 05/03/2008, Elf <[EMAIL PROTECTED]> wrote:
>
> what is eINIT?
Lets not veer off-topic, but its an alternative init system for
uni[xc]es - http://einit.org/
Currently we're using guile for our scheme modules because we can't
figure out a way to make 9pfs through libixp, the native threading of
what is eINIT?
-elf
On Wed, 5 Mar 2008, Leonardo Valeri Manera wrote:
On 05/03/2008, felix winkelmann <[EMAIL PROTECTED]> wrote:
Hello!
Alex Shinn suggested to apply for a project in Googles
Summer of Code program. It would be cool to find some folks here
that would assist me in organiz
gtk bindings are almost done :) thats mostly copying gruntwork.
suggestions:
1) chicken itself: adding flow analysis (ambitious students!)
2) spiffy: get spiffy to production quality. plugins for spiffy.
3) smtpd: mailer daemon in chicken (we have almost all the libs necessary
alre
On 05/03/2008, felix winkelmann <[EMAIL PROTECTED]> wrote:
> Hello!
>
>
> Alex Shinn suggested to apply for a project in Googles
> Summer of Code program. It would be cool to find some folks here
> that would assist me in organizing/mentoring something there:
>
> http://code.google.com/soc/2008
Hallo,
On Wed, Mar 5, 2008 at 11:05 AM, felix winkelmann <[EMAIL PROTECTED]> wrote:
>
> If you'd like to help or suggest something, please provide input
> in the next days. I will be gone over the weekend, but am back at the
> start of next week.
>
I'd like to suggest work on:
1) The GTK
Hello!
Alex Shinn suggested to apply for a project in Googles
Summer of Code program. It would be cool to find some folks here
that would assist me in organizing/mentoring something there:
http://code.google.com/soc/2008/faqs.html
Of course we need some ideas, and would need them quickly,
as th
39 matches
Mail list logo