Zissou: Next meeting info, call for speakers

[Matt Youell]

ROAR!!!

::: The Zissou Society wakes from its long winter slumber. :::

We're looking at May 29th or 30th for our next meeting. Janrain has offered to host. 

Who wants to share what they know about a weird, offbeat, or fascinating programming language? Pipe up and float your idea here or contact me off-list.

Also if you have suggestions for languages to discuss, other ideas, or a firm opinion about the date and time of the meeting please let me know.

Thanks so much!

Matt

               _
           _.-' )
          (_ . '\ __
            \__^/` _)
          .-'_    \
         (_.' \    '--.
              /_ /`-._/
    jgs      (__/

(roar!)

[Bart Massey]

Here's the list of stuff I've been threatening to talk about for a while now but haven't yet.

* m4, the macro preprocessor, is great for prototyping domain-specific languages and for various kinds of text processing. I was a little sad looking back at Igal's awesome post last time I proposed this topic...

* Eventually, I'd like to talk about the KL1/FGHC/Strand family of languages. These are concurrent logic programming languages, vaguely along the lines of , but very simple and lightweight. Ideally, though, I would have a working version of our Super Monaco Brothers KL1 compiler and runtime first. I doubt I can get that done by the end of May.

* The Z Notation is a specification language not intended to be executed by computers. It is essentially a thin syntactic shell over a carefully-chosen first-order logic. I've used it in several projects, as well as teaching it a few times.

I'd also be happy to do other things. Let me think about it for a while...

--Bart

[Lyle Kopnicky]

Oh my gosh, that all sounds awesome, Bart. Choose any of the above.

--
Z
---
You received this message because you are subscribed to the Google Groups "Zissou Society for Programming Language Exploration" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pdxlang+u...@googlegroups.com.
To post to this group, send email to pdx...@googlegroups.com.
Visit this group at http://groups.google.com/group/pdxlang?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

[Keshav Kini]

On Thu, May 2, 2013 at 9:00 PM, Bart Massey <bart....@gmail.com> wrote:

> * Eventually, I'd like to talk about the KL1/FGHC/Strand family of
> languages. These are concurrent logic programming languages, vaguely along
> the lines of , but very simple and lightweight.

Along the lines of...?

+1 to Lyle, all of those sound interesting :)

-Keshav

[Matt Youell]

On Thursday, May 2, 2013 10:32:27 PM UTC-7, Keshav Kini wrote:

> languages. These are concurrent logic programming languages, vaguely along
> the lines of , but very simple and lightweight.

Along the lines of...?

I was wondering about that as well. :)  Bart?

[Bart Massey]

Sorry :-). Oz, which I think Lyle or somebody talked about earlier. FGHC is like Oz-ultralite. --Bart

[Dan Colish]

My vote is for Z notation. I'd like to see that demonstrated for producing actual software and any hints on where to start approaching it, etc, etc. (Seems like HOL-Z is the best thing going these days). I'd also be interested in more m4 tricks.

--

Dan