On 20 Jan 2009, at 8:33 am, Andrew Coppin wrote:
rocon...@theorem.ca wrote:
I noticed the Bool datatype isn't well documented. Since Bool is
not a common English word, I figured it could use some haddock to
help clarify it for newcomers.
My only problem with it is that it's called Bool,
rocon...@theorem.ca wrote:
I noticed the Bool datatype isn't well documented. Since Bool is not
a common English word, I figured it could use some haddock to help
clarify it for newcomers.
My only problem with it is that it's called Bool, while every other
programming language on Earth
On Mon, 2009-01-19 at 19:33 +, Andrew Coppin wrote:
rocon...@theorem.ca wrote:
I noticed the Bool datatype isn't well documented. Since Bool is not
a common English word, I figured it could use some haddock to help
clarify it for newcomers.
My only problem with it is that it's
On Mon, Jan 19, 2009 at 11:33 AM, Andrew Coppin
andrewcop...@btinternet.com wrote:
My only problem with it is that it's called Bool, while every other
programming language on Earth calls it Boolean. (Or at least, the languages
that *have* a name for it...)
Python: bool
ocaml: bool
C++: bool
On Mon, 2009-01-19 at 20:55 +, Andrew Coppin wrote:
Dan Piponi wrote:
On Mon, Jan 19, 2009 at 11:33 AM, Andrew Coppin
andrewcop...@btinternet.com wrote:
My only problem with it is that it's called Bool, while every other
programming language on Earth calls it Boolean. (Or at
G'day all.
On Mon, 2009-01-19 at 19:33 +, Andrew Coppin wrote:
My only problem with it is that it's called Bool, while every other
programming language on Earth calls it Boolean. (Or at least, the
languages that *have* a name for it...)
Jonathan Cast commented:
Except C++?
And
On Mon, Jan 19, 2009 at 7:22 PM, a...@spamcop.net wrote:
And perhaps more to the point, Boolean is an adjective, not a noun.
Therefore, it would be better reserved for a typeclass.
There's also John Meacham's Boolean package.
http://repetae.net/recent/out/Boolean.html
class (Heyting a) =
On Mon, Jan 19, 2009 at 6:25 PM, David Menendez d...@zednenem.com wrote:
Are there any instances of Boolean that aren't isomorphic to Bool?
a-Bool for any a. I think.
Though I think it should be called GeorgeBoolean otherwise we might
confuse it for something his father might have invented.
--
G'day all.
Quoting David Menendez d...@zednenem.com:
Are there any instances of Boolean that aren't isomorphic to Bool?
Sure. Two obvious examples:
- The lattice of subsets of a universe set, where or is union
and is intersection and not is complement with respect to the
universe.
-
G'day all.
I wrote:
- Intuitionistic logic systems.
- The truth values of an arbitrary topos (i.e. the points of the
subobject classifier).
Sorry, I misread the question. These are _not_ instances of Boolean
(or at least the latter isn't an instance in general).
Cheers,
Andrew Bromage
Sterling Clover wrote:
This is a great effort, but the root of the problem isn't just poor
documentation, but an insistence on some obscure name. How about
renaming Bool to YesOrNoDataVariable? I think this would help novice
programmers a great deal.
It would also make the documentation
11 matches
Mail list logo
