Sitter mellan mina simuleringar och slöläser Haskell-tutorials. Stötte på en sak, som jag bara noterat några gånger, men aldrig brytt mig om. "Bottom": _|_, kan varje datatyp ha som värde?
Är det en motsvarighet till nil i lisp?
Eller motsvarande tomma mängden?

Nu har jag inte sett exakt i vilket sammanhang du har stött på "bottom", men jag har sett det i Domänteori, där det kan ses som ett värde ännu inte är känt/beräknat.

Man har där en partiell ordning som anger vilket element som är mest specificerat.
Exempel: (Skriver ? för bottom)
a) ? < 1:? < 1:2:?
b) ? < (?, ?) < (?, 1)
c) f(?, ?) < f(?, 1) [funktioner är monotont växande; mer specificerat in ger mer specificerat ut]


Domänteori: http://en.wikipedia.org/wiki/Domain_theory

Ah ok. Makes sense. Men detta var som sagt i Haskell. Jag förstår nog ungefär vad man menar och det blir "ungefär som tomma mängden" i sättet man använder den, om man uttrycker sig lite luddigt. Den kan liksom ingå på olika sätt, och ger olika betydelser beroende på när den är där.

Jag läste om det på
http://www.cs.utah.edu/~hal/docs/daume02yaht.pdf
Kapitel 8.2-3

I princip är det nog samma bottom. Båda anger i alla fall ett värde som ännu ej är fullständigt beräknat.

I princip är det nog samma bottom. Båda anger i alla fall ett värde som ännu ej är fullständigt beräknat.

Edit: Nu, efter en stunds funderande, är jag övertygad om att det är samma sak.

http://en.wikibooks.org/wiki/Haskell/Denotational_semantics

Ah!
Den verkar bra! (Inte för att jag läst igenom än, men snart)