Hello all,
It looks to me like the PEG project is wrapping up. We're talking
about what to name things now, which means the library is likely
pretty close to inclusion in Guile. After this I will want another
Guile project to work on. My original intention was to work on a JIT
compiler for Guile,
Hi Noah!
Noah Lavine skribis:
> I think the next step is to write a static analyzer. This analyzer
> will be used by the compiler, but it will not just be for the compiler
> - it will also be available to users. I think of it as a tool for
> writing correct programs. Here are some use-cases for
Hello,
>> - You write a function that assumes its arguments are of a certain
>> type. You'd like to be sure this is true, so your program won't throw
>> exceptions in the middle.
>
> That would be cool. However, I suspect that for best results you’d want
> procedures to have type annotations, a
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi Noah,
On 09/26/11 00:33, Noah Lavine wrote:
> I thought of another use-case, and I wonder if you think this is
> on-topic or not:
>
> - You write a parallel version of map that is fast, but only
> correct if its argument has no side-effects. You'
> I'm also interested in what Stefan Tampe is doing, because I believehe's
implementing a
> formal logic system in Guile. Stefan, does yourproject connect to this
one?
Yes I'm implementing the leanCop first order logic prover. Now this might
not be the same
as implementing a new Coq system. I don'
On 26 September 2011 19:11, Marijn wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> Hi Noah,
>
> On 09/26/11 00:33, Noah Lavine wrote:
>> I thought of another use-case, and I wonder if you think this is
>> on-topic or not:
>>
>> - You write a parallel version of map that is fast, but o
Hi Noah,
>>> - You write a function that assumes its arguments are of a certain
>>> type. You'd like to be sure this is true, so your program won't throw
>>> exceptions in the middle.
>>
>> That would be cool. However, I suspect that for best results you’d want
>> procedures to have type annota
Hello,
>> I think it can be done effectively, but I'm not quite sure what you
>> mean by "dynamic module composition." Do you mean that this might
>> prevent you from making modules that use arbitrary other modules? Or
>> that it might not work if you loaded modules at runtime from the REPL?
>
> I
Hi Noah,
I never contributed to this thread, but I've had it marked for months
now, so FWIW...
On Sat 24 Sep 2011 19:58, Noah Lavine writes:
> So this is my proposal for the next several months: I work on a static
> analyzer for Guile, hoping to expand it to other languages as well.
This sound