* [ANN] HTCaML / CaSS
@ 2010-11-23 13:05 Thomas Gazagnaire
2010-11-23 13:22 ` [Caml-list] " Gerd Stolpmann
[not found] ` <1681920730.765376.1290518571583.JavaMail.root@zmbs4.inria.fr>
0 siblings, 2 replies; 5+ messages in thread
From: Thomas Gazagnaire @ 2010-11-23 13:05 UTC (permalink / raw)
To: caml-list
I am happy to announce the first official release of HTCaML[1] and
CaSS[2], two small libraries which make the writing of static web pages
easy in OCaml.
HTCaML enables the embedding of XHTML fragments in your OCaml program
(the EDSL translates directly to Xmlm) using quotations. It also allows
you to auto-generate boilerplate XHTML fragments from type definitions.
In the same way, CaSS enables the embedding of CSS fragments in your
OCaml program using quotations.
A quick example:
module Box = struct
type t = { title: string; date: string; contents: Html.t } with html
let css fg bg = <:css<
color: $fg$;
background-color: $bg$;
$Css.rounded$;
.title { color: $bg$; background-color: $fg$; }
>>
end
let my_html boxes = Html.to_string <:html<
<html>
<body>
<div class="boxes">
$list:List.map Box.html_of_t boxes$
</div>
</body>
</html>
>>
let my_css = Css.to_string <:css<
.boxes { $Box.css <:css< blue >> <:css< white >> $ }
>>
You can find a quick introduction to HTCaML (and maybe soon to CaSS) on
the mirage blog[3].
Cheers,
Thomas
[1] https://github.com/samoht/htcaml
[2] https://github.com/samoht/cass
[3] http://www.openmirage.org/blog/introduction-to-htcaml
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] [ANN] HTCaML / CaSS
2010-11-23 13:05 [ANN] HTCaML / CaSS Thomas Gazagnaire
@ 2010-11-23 13:22 ` Gerd Stolpmann
[not found] ` <1681920730.765376.1290518571583.JavaMail.root@zmbs4.inria.fr>
1 sibling, 0 replies; 5+ messages in thread
From: Gerd Stolpmann @ 2010-11-23 13:22 UTC (permalink / raw)
To: Thomas Gazagnaire; +Cc: caml-list
Have you seen that there is a preprocessor for PXP that allows you to
embed XML in ocaml?
http://projects.camlcity.org/projects/dl/pxp-1.2.1/doc/manual/html/ref/Intro_preprocessor.html
I'm happily using this for dynamic web pages. The syntax is more
light-weight, though, e.g. you write
<div> [ ... ]
instead of <div>...</div>, and there is a distinction in the syntax
between node and list of nodes, e.g.
<div> list
but
<div> [ node1 node2 ... ]
Gerd
Am Dienstag, den 23.11.2010, 14:05 +0100 schrieb Thomas Gazagnaire:
> I am happy to announce the first official release of HTCaML[1] and
> CaSS[2], two small libraries which make the writing of static web pages
> easy in OCaml.
>
> HTCaML enables the embedding of XHTML fragments in your OCaml program
> (the EDSL translates directly to Xmlm) using quotations. It also allows
> you to auto-generate boilerplate XHTML fragments from type definitions.
> In the same way, CaSS enables the embedding of CSS fragments in your
> OCaml program using quotations.
>
> A quick example:
>
> module Box = struct
> type t = { title: string; date: string; contents: Html.t } with html
> let css fg bg = <:css<
> color: $fg$;
> background-color: $bg$;
> $Css.rounded$;
> .title { color: $bg$; background-color: $fg$; }
> >>
> end
>
> let my_html boxes = Html.to_string <:html<
> <html>
> <body>
> <div class="boxes">
> $list:List.map Box.html_of_t boxes$
> </div>
> </body>
> </html>
> >>
>
> let my_css = Css.to_string <:css<
> .boxes { $Box.css <:css< blue >> <:css< white >> $ }
> >>
>
> You can find a quick introduction to HTCaML (and maybe soon to CaSS) on
> the mirage blog[3].
>
> Cheers,
> Thomas
>
> [1] https://github.com/samoht/htcaml
> [2] https://github.com/samoht/cass
> [3] http://www.openmirage.org/blog/introduction-to-htcaml
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
------------------------------------------------------------
Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany
gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de
Phone: +49-6151-153855 Fax: +49-6151-997714
------------------------------------------------------------
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] [ANN] HTCaML / CaSS
[not found] ` <1681920730.765376.1290518571583.JavaMail.root@zmbs4.inria.fr>
@ 2010-11-23 14:01 ` Thomas Gazagnaire
2010-11-23 15:25 ` Gerd Stolpmann
[not found] ` <926842186.769232.1290520895288.JavaMail.root@zmbs4.inria.fr>
1 sibling, 1 reply; 5+ messages in thread
From: Thomas Gazagnaire @ 2010-11-23 14:01 UTC (permalink / raw)
To: Gerd Stolpmann; +Cc: caml-list
> Have you seen that there is a preprocessor for PXP that allows you to
> embed XML in ocaml?
>
> http://projects.camlcity.org/projects/dl/pxp-1.2.1/doc/manual/html/ref/Intro_preprocessor.html
>
No, I didn't know about that. And there is also a syntax extension in
Eliom to do the same kind of things.
However, the two things I am really happy with HTCaML (and apparently it
is not possible to do the same thing in PXP nor Eliom) are :
i) you can easily mix auto-generated and hand-crafted code to create
XHTML fragments (no more tedious conversion functions); and
ii) you can write in the same part of your file (ie. in the same module)
the css and xhtml generator for a given type definition. That means that
you can do web-programming as you are used to : think about type
definitions first, and then write your code to reason by induction on
these defintions.
for example, you can have:
type foo = (* some random type *)
let html_of_foo : Html.t = (* some random code of type Html.t = (`a
Xml.frag as `a) Xmlm.frag list *)
let foo_css = (* some random, possibly nested, CSS *)
and :
type bar = { foo : foo; complex types } with html
let bar_css = <:css< .foo { $foo_css$; ... } >>
In the later case, you don't have to write manually the code for
html_of_bar as it will be done automatically by HTCaML, by looking at
the structure of bar; and it will pick your own definition of
html_of_foo. Also, nested declarations in bar_css will be automatically
unrolled to generate valid CSS fragments.
> I'm happily using this for dynamic web pages. The syntax is more
> light-weight, though, e.g. you write
>
I don't really call this dynamic web pages, but yea, that's the same
idea :-)
--
Thomas
> <div> [ ... ]
>
> instead of <div>...</div>, and there is a distinction in the syntax
> between node and list of nodes, e.g.
>
> <div> list
>
> but
>
> <div> [ node1 node2 ... ]
>
> Gerd
>
> Am Dienstag, den 23.11.2010, 14:05 +0100 schrieb Thomas Gazagnaire:
> > I am happy to announce the first official release of HTCaML[1] and
> > CaSS[2], two small libraries which make the writing of static web pages
> > easy in OCaml.
> >
> > HTCaML enables the embedding of XHTML fragments in your OCaml program
> > (the EDSL translates directly to Xmlm) using quotations. It also allows
> > you to auto-generate boilerplate XHTML fragments from type definitions.
> > In the same way, CaSS enables the embedding of CSS fragments in your
> > OCaml program using quotations.
> >
> > A quick example:
> >
> > module Box = struct
> > type t = { title: string; date: string; contents: Html.t } with html
> > let css fg bg = <:css<
> > color: $fg$;
> > background-color: $bg$;
> > $Css.rounded$;
> > .title { color: $bg$; background-color: $fg$; }
> > >>
> > end
> >
> > let my_html boxes = Html.to_string <:html<
> > <html>
> > <body>
> > <div class="boxes">
> > $list:List.map Box.html_of_t boxes$
> > </div>
> > </body>
> > </html>
> > >>
> >
> > let my_css = Css.to_string <:css<
> > .boxes { $Box.css <:css< blue >> <:css< white >> $ }
> > >>
> >
> > You can find a quick introduction to HTCaML (and maybe soon to CaSS) on
> > the mirage blog[3].
> >
> > Cheers,
> > Thomas
> >
> > [1] https://github.com/samoht/htcaml
> > [2] https://github.com/samoht/cass
> > [3] http://www.openmirage.org/blog/introduction-to-htcaml
> >
> > _______________________________________________
> > Caml-list mailing list. Subscription management:
> > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> > Archives: http://caml.inria.fr
> > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> > Bug reports: http://caml.inria.fr/bin/caml-bugs
> >
>
>
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] [ANN] HTCaML / CaSS
[not found] ` <926842186.769232.1290520895288.JavaMail.root@zmbs4.inria.fr>
@ 2010-11-23 14:04 ` Thomas Gazagnaire
0 siblings, 0 replies; 5+ messages in thread
From: Thomas Gazagnaire @ 2010-11-23 14:04 UTC (permalink / raw)
To: Gerd Stolpmann; +Cc: caml-list
> let html_of_foo : Html.t = (* some random code of type Html.t = (`a
Xml.frag as `a) Xmlm.frag list *)
Sorry, I mean : let html_of_foo : foo -> Html.t = ...
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] [ANN] HTCaML / CaSS
2010-11-23 14:01 ` Thomas Gazagnaire
@ 2010-11-23 15:25 ` Gerd Stolpmann
0 siblings, 0 replies; 5+ messages in thread
From: Gerd Stolpmann @ 2010-11-23 15:25 UTC (permalink / raw)
To: Thomas Gazagnaire; +Cc: caml-list
Am Dienstag, den 23.11.2010, 15:01 +0100 schrieb Thomas Gazagnaire:
> > Have you seen that there is a preprocessor for PXP that allows you to
> > embed XML in ocaml?
> >
> > http://projects.camlcity.org/projects/dl/pxp-1.2.1/doc/manual/html/ref/Intro_preprocessor.html
> >
>
> No, I didn't know about that. And there is also a syntax extension in
> Eliom to do the same kind of things.
>
> However, the two things I am really happy with HTCaML (and apparently it
> is not possible to do the same thing in PXP nor Eliom) are :
> i) you can easily mix auto-generated and hand-crafted code to create
> XHTML fragments (no more tedious conversion functions); and
Don't know whether this is good or bad - having everything as XML means
you can also type-check the emitted XML (e.g. against the DTD). It's
only at runtime, but might still be helpful.
In PXP you would have to use a custom XML writer to merge in
hand-crafted HTML.
Btw, there are some subtle differences between real XHTML (with an
XML-ish content type) and "HTML that looks like XML". For example, in
real XML SCRIPT or STYLE sections need to be quoted like other data
sections whereas HTML sees these as exceptions to the normal rules (e.g.
<script>if (a < b) { ... }</script> in XML and <script>if (a<b)
{...}</script> in HTML). This is something that makes mixing in HTML
error-prone.
> ii) you can write in the same part of your file (ie. in the same module)
> the css and xhtml generator for a given type definition. That means that
> you can do web-programming as you are used to : think about type
> definitions first, and then write your code to reason by induction on
> these defintions.
>
> for example, you can have:
>
> type foo = (* some random type *)
> let html_of_foo : Html.t = (* some random code of type Html.t = (`a
> Xml.frag as `a) Xmlm.frag list *)
> let foo_css = (* some random, possibly nested, CSS *)
>
> and :
>
> type bar = { foo : foo; complex types } with html
> let bar_css = <:css< .foo { $foo_css$; ... } >>
>
> In the later case, you don't have to write manually the code for
> html_of_bar as it will be done automatically by HTCaML, by looking at
> the structure of bar; and it will pick your own definition of
> html_of_foo. Also, nested declarations in bar_css will be automatically
> unrolled to generate valid CSS fragments.
Interesting idea - data-centric HTML generation.
Gerd
>
> > I'm happily using this for dynamic web pages. The syntax is more
> > light-weight, though, e.g. you write
> >
> I don't really call this dynamic web pages, but yea, that's the same
> idea :-)
>
> --
> Thomas
>
>
> > <div> [ ... ]
> >
> > instead of <div>...</div>, and there is a distinction in the syntax
> > between node and list of nodes, e.g.
> >
> > <div> list
> >
> > but
> >
> > <div> [ node1 node2 ... ]
> >
> > Gerd
> >
> > Am Dienstag, den 23.11.2010, 14:05 +0100 schrieb Thomas Gazagnaire:
> > > I am happy to announce the first official release of HTCaML[1] and
> > > CaSS[2], two small libraries which make the writing of static web pages
> > > easy in OCaml.
> > >
> > > HTCaML enables the embedding of XHTML fragments in your OCaml program
> > > (the EDSL translates directly to Xmlm) using quotations. It also allows
> > > you to auto-generate boilerplate XHTML fragments from type definitions.
> > > In the same way, CaSS enables the embedding of CSS fragments in your
> > > OCaml program using quotations.
> > >
> > > A quick example:
> > >
> > > module Box = struct
> > > type t = { title: string; date: string; contents: Html.t } with html
> > > let css fg bg = <:css<
> > > color: $fg$;
> > > background-color: $bg$;
> > > $Css.rounded$;
> > > .title { color: $bg$; background-color: $fg$; }
> > > >>
> > > end
> > >
> > > let my_html boxes = Html.to_string <:html<
> > > <html>
> > > <body>
> > > <div class="boxes">
> > > $list:List.map Box.html_of_t boxes$
> > > </div>
> > > </body>
> > > </html>
> > > >>
> > >
> > > let my_css = Css.to_string <:css<
> > > .boxes { $Box.css <:css< blue >> <:css< white >> $ }
> > > >>
> > >
> > > You can find a quick introduction to HTCaML (and maybe soon to CaSS) on
> > > the mirage blog[3].
> > >
> > > Cheers,
> > > Thomas
> > >
> > > [1] https://github.com/samoht/htcaml
> > > [2] https://github.com/samoht/cass
> > > [3] http://www.openmirage.org/blog/introduction-to-htcaml
> > >
> > > _______________________________________________
> > > Caml-list mailing list. Subscription management:
> > > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> > > Archives: http://caml.inria.fr
> > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> > > Bug reports: http://caml.inria.fr/bin/caml-bugs
> > >
> >
> >
>
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
------------------------------------------------------------
Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany
gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de
Phone: +49-6151-153855 Fax: +49-6151-997714
------------------------------------------------------------
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2010-11-23 15:25 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-11-23 13:05 [ANN] HTCaML / CaSS Thomas Gazagnaire
2010-11-23 13:22 ` [Caml-list] " Gerd Stolpmann
[not found] ` <1681920730.765376.1290518571583.JavaMail.root@zmbs4.inria.fr>
2010-11-23 14:01 ` Thomas Gazagnaire
2010-11-23 15:25 ` Gerd Stolpmann
[not found] ` <926842186.769232.1290520895288.JavaMail.root@zmbs4.inria.fr>
2010-11-23 14:04 ` Thomas Gazagnaire
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).