List All Pages
Enabled comments (I think). Also added some clarifications to the Moggi article.
Blog » "Computation" considered harmful. "Value" not so hot either.
Posted on 1234540229|%A: %d %B, %Y|agohover
The term "computation" has at least six different senses, all of which are commonly...
I'm Gregg Reynolds. my email uid is dev, my domain (.k o m) is m o b i l e i n k (one word, no spaces)
Blog » Fixing Haskell IO
Posted on 1234545994|%A: %d %B, %Y|agohover
No, Haskell IO isn't broken; that's just a shameless bid for attention. But the metalanguage commonly used to describe Haskell...
Blog » Formal semantics for side effects
Posted on 1234195011|%A: %d %B, %Y|agohover
Got an idea for formal semantics for operations with side-effects like IO operations, random, etc. It's...
//
If you are allowed to edit pages in this Site, simply click on edit button at the bottom of the page. This will open an editor.
To create a link to a new page, use syntax: [[[new page name]]] or...
Blog » In Praise of Elitism
Posted on 1234700263|%A: %d %B, %Y|agohover
A respondent to one of my earlier posts complained that approaching Haskell by way of category theory is a "radical approach...
Blog » Intergalactic Telefunctors and Quantum Entanglement
Posted on 1234713995|%A: %d %B, %Y|agohover
In a previous article I argued against the pernicious Container Fiction. Some respondents...
Please change this page according to your policy (configure first using Site Manager) and remove this note.
Who can join?
You can write here who can become a member of this site.
Join!
So you...
Blog » Moggi :: CT -> Hask
Posted on 1234024176|%A: %d %B, %Y|agohover
The monad found its way into Haskell from E. Moggi’s research in the late 1980s integrating Category Theory into the...
Blog » Performance Economics
Posted on 1235217632|%A: %d %B, %Y|agohover
Another cooked-up performance "controversy" is bubbling on the haskell-cafe mailng list: is gcc a "better" compiler than...
Blog » Pernicious Myth No. 1: The Container Fiction
Posted on 1234625723|%A: %d %B, %Y|agohover
Newcomers to Haskell quickly learn that lots of containers are involved. Lists and tuples are...
Blog » Programming Language Semiotics
Posted on 1234272028|%A: %d %B, %Y|agohover
In a recent posting to the haskell-cafe mailing list, Richard O'Keefe put his finger on a major problem that...
Category Theory
Toposes, Triples, and Theories Barr, Michael and Charles Wells
Category Theory for Program Construction Meertens, Lambert (gzipped ps)
Categories, Types, and Structures Asperti,...
Welcome page
What is a Wiki Site?
How to edit pages?
How to join this site?
Site members
Recent changes
List all pages
Page Tags
Site Manager
Page tags
Add a new page
edit this...
Members:
Moderators
Admins
blog
resources
new blog entry
tsets
RSS feed
Latest Blog:
example menu
example item 1
example item 2
contact
Blog » Turing's Euclidean Stroke of Genius
Posted on 1235926235|%A: %d %B, %Y|agohover
Everybody knows Alan Turing was the father of the computer. What is less appreciated is that Turing stands...
If this is your first site
Then there are some things you need to know:
You can configure all security and other settings online, using the Site Manager. When you invite other people to help build...
According to Wikipedia, the world largest wiki site:
A Wiki ([ˈwiː.kiː] <wee-kee> or [ˈwɪ.kiː] <wick-ey>) is a type of website that allows users to add, remove, or otherwise edit...
