Hi,
I'm trying to make a syntax reference in the form
of source code. It's not ready, but if someone
shares the same ideas I could use some
help. (Should I put this on a wiki? Where?)
My “design principles” are:
• It should contain just pieces of uncommented
code. The idea is not to use it as a fast
tutorial, but as a reminder of how to write all
kinds of things, and solve all questions of type
“is this allowed?”;
• It should be small, and fit on a printed A4
page;
• It should show the complete syntax of
everything, not the most common. For instance,
‘case of’ should show the use of guards;
• It should be an example of valid code, not good
one. The idea is to show what can be done, not
what should :)
• It should use expanded code, not identation
rules. Replacement of identation for code (like
{} etc.) have simple rules, and the proper way
to ident can be deduced from expanded
code. Sometimes this is important if we are
trying to solve syntax errors;
• It should use Unicode. It's nice to know which
kind of Unicode characters can actually be
used;
• It should use no predefined types or classes
except Bool. I’ll write a Prelude code reference
if this first attempt go right.
So I came up with the weird code below. It should
contain a lot more, and be more dense (more syntax
examples per lines of code), but it's already
usefull for a begginer like me. What do you think?
Best,
Maurício
module Ça (Exèmplo(Åwirù,Øwet'Л,Øwet'И),aҝҧү,Clááá) where {
class Clááá ú where {
(⊗) :: ú -> ú -> ú;
τAmber :: ú -> ú;
τAmber a = a ⊗ a;
};
data D١ = U1 | U2 | U3; data D٢ = Vú1 | Vú2 | JustVú;
data D٤ = Opção | OutraOpção;
data Exèmplo = Åwirù | Øwet'Л D٤ | Øwet'И D٢ Exèmplo;
osmesmos :: D٤ -> D٤ -> Bool;
osmesmos Opção Opção = True; osmesmos OutraOpção OutraOpção = True;
osmesmos _ _ = False;
aҝҧү = (Øwet'И Vú2 aҝҧү) ⊗ Åwirù;
instance Clááá Exèmplo where {
Åwirù ⊗ _ = Åwirù;
a@(Øwet'Л b) ⊗ x = case x of {
Åwirù -> a;
y@(Øwet'Л o) | (osmesmos o Opção) -> a | otherwise -> Øwet'И Vú1 y;
y@(Øwet'И _ _) -> y ⊗ a
};
a@(Øwet'И Vú1 _) ⊗ _ = a;
a@(Øwet'И Vú2 x) ⊗ _ = x;
a@(Øwet'И JustVú _) ⊗ y = y;
}
}
