„Lady X“, ToPs, and Monads

„Beginning from the entity ‚Lady X‘, just collect all its relations. That’s it.“

The other day, I read Miriam’s pile stories and her example of ‚Lady X‘ as a ToP in the Pile plane. Miriam evoked the nightmare of total inclusion. But, how could ‚Lady X‘ be digitized into the digital world inside the computer unless in fiction?

Wikipedia.org about the film Tron

(Cf. the plot of the film Tron)

„The digital world comes alive after the MCP’s defeat. I/O towers light up all over the landscape, and the Programs rejoice in the fact that their world has become a free system.“

Is it this what the „FT-Movement“ is all about?

Anyway, I’m currently investigating monadic I/O, a high-level model for functional I/O based on Wadler’s suggestion that monads can express interaction with state in a functional language.

[Wadler97] How to Declare an Imperative. ACM Comp. Surveys, Vol. 29, No. 3, September 1997, pp. 240-263.

http://www.haskell.org/haskellwiki/Books#Using_monads

Advertisements

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

WordPress.com-Logo

Du kommentierst mit Deinem WordPress.com-Konto. Abmelden / Ändern )

Twitter-Bild

Du kommentierst mit Deinem Twitter-Konto. Abmelden / Ändern )

Facebook-Foto

Du kommentierst mit Deinem Facebook-Konto. Abmelden / Ändern )

Google+ Foto

Du kommentierst mit Deinem Google+-Konto. Abmelden / Ändern )

Verbinde mit %s