From: Oliver Bandel <oliver@first.in-berlin.de>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Smoke Vector Graphics: source code licenses for sale
Date: Fri, 9 Nov 2007 00:04:25 +0100 [thread overview]
Message-ID: <1194563065.473395f97f852@webmail.in-berlin.de> (raw)
In-Reply-To: <47337745.3050203@gmail.com>
Zitat von Edgar Friendly <thelema314@gmail.com>:
> Alexandre Pilkiewicz wrote:
> > Do you think it may be possible one day for OCaml to have a normalisation,
> > like Haskell had in 1998, and if it's allready the case, where can I find
> > it ?
> >
> I don't see the need for formalizing the OCaml language - If we tried to
> characterize what the current compiler did, we'd fail in many many
> details. And if we tried to write a spec independent of the compiler,
> all of a sudden we'd just introduce hundreds of bugs into the compiler
> because of its deviation from the spec.
>
> Formal specifications have use in strictly "research" languages, but I
> see their ability to stifle growth and improvement as more negative than
> their ability to help people understand the proper operation of OCaml.
>
[...]
It seems there are so many wishes to OCaml,
which are similar to wishes that long-time Word-users
that tried LaTeX the first time had for LaTeX.
Things like "how to change the layout freely, as I can do with Word?"
and they are looking for so many things of freedom that result
in ugly layouts, ugly typography, ...
The don't know about microtypography, kerning, grey-value of the
page, the number of characters per line that are easily readable,
the peace for the eye (and mind), when there are not too many fonts and colors,
and the many other typographic details, that are built-in in TeX/LaTeX.
And: no, TeX/LaTeX is/are not perfect. But they are always a good choice. :)
And the discussions on this list often remind me on those discussions about
LaTeX ;-)
I don't want to say, feature-wishes are nonsense... I only saw a
similarity in the kind of feature-wishes. :)
Ciao,
Oliver
P.S.: This mail is not intended to offend someone; only a note
to - maybe - contemplate about, when you have some minutes
of free time ;-)
(and sorry, if I'm too much off-topic ;-))
next prev parent reply other threads:[~2007-11-08 23:04 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-11-04 12:01 Jon Harrop
2007-11-04 15:06 ` [Caml-list] " Oliver Bandel
2007-11-04 16:12 ` skaller
2007-11-04 16:48 ` Oliver Bandel
2007-11-04 17:45 ` skaller
2007-11-04 21:29 ` Oliver Bandel
2007-11-04 17:47 ` David Allsopp
2007-11-04 21:25 ` Oliver Bandel
2007-11-04 16:58 ` Industry looks for commercial OCaml support? Oliver Bandel
2007-11-04 17:52 ` [Caml-list] " skaller
2007-11-04 21:39 ` Oliver Bandel
2007-11-05 3:32 ` skaller
2007-11-05 3:58 ` OT: Commercial Support and Programming Languages Robert Fischer
2007-11-05 5:04 ` [Caml-list] " Jon Harrop
2007-11-07 15:55 ` Alan Falloon
2007-11-07 16:07 ` [Caml-list] " Jon Harrop
2007-11-07 16:35 ` Edgar Friendly
2007-11-07 16:41 ` Jon Harrop
2007-11-07 17:16 ` Edgar Friendly
2007-11-07 18:46 ` Christophe TROESTLER
2007-11-07 19:28 ` Richard Jones
2007-11-05 7:22 ` [Caml-list] " skaller
2007-11-05 5:05 ` [Caml-list] Industry looks for commercial OCaml support? Jon Harrop
2007-11-04 18:29 ` [Caml-list] Smoke Vector Graphics: source code licenses for sale Vincent Hanquez
2007-11-08 18:28 ` Alexandre Pilkiewicz
2007-11-08 19:09 ` Luc Maranget
2007-11-08 20:24 ` Alexandre Pilkiewicz
2007-11-08 20:53 ` Edgar Friendly
2007-11-08 23:04 ` Oliver Bandel [this message]
2007-11-08 19:14 ` Brian Hurt
2007-11-08 23:08 ` Richard Jones
2007-11-09 12:16 ` Gerd Stolpmann
2007-11-09 12:31 ` Richard Jones
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1194563065.473395f97f852@webmail.in-berlin.de \
--to=oliver@first.in-berlin.de \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox