Sbeezg is a syntactically very simple language that attempts to take the single-assignment concept to a logical extreme.
Sample Program
f={a,b|i=*is;s=*pred;p=*print;g=p(*beer);h=s(a);
ln={x,m|z=x|x};lg={y,n|q=n(y,n)|y};j=i(h,0,ln,lg);
k=j(h,b)|a};l=f(99,f)
Programming Paradigms
Documentation
Implementations
-
sbeezg.erl, an interpreter in Erlang
To run this implementation, you need:
-
to build it first, for which you will need:
- an implementation of Erlang (we suggest Erlang/OTP R13B)
-
to build it first, for which you will need:
Download
Development
Github: catseye/Sbeezg
Bitbucket: catseye/sbeezg
Issue tracker: on github
Commentary
I really don't remember exactly what I was trying to accomplish with this; the basic idea is fairly absurd (either your variables are single-assignment or they're not...)