Shooting yourself in the foot, a contribution
Hi, If I may contribute to the language definitions (http://burks.brighton.ac.uk/burks/language/index.htm), concerning *Haskell* : You shoot yourself in the foot. The gun fires half an hour later (lazy evaluation), blows your hand instead of your foot (polymorphism), and leaves you in a state of total amnesia (memory leaks). Alain
Hi,
You shoot yourself in the foot. The gun fires half an hour later (lazy evaluation), blows your hand instead of your foot (polymorphism), and leaves you in a state of total amnesia (memory leaks).
funny, but what about the state? In Haskell it is not possible to shoot yourself in the foot, except you are in the IO monad :-) Ciao, Steffen -- Steffen Mazanek #Haskell,that's where I just curry until fail,unwords www.steffen-mazanek.de#any error,drop all undefined,maybe break,otherwise in #sequence span isControl and take max $,id: (d:[])
I know it is a bit off topic (sorry) but for the sake of completeness: Windows: You try to shoot yourself in the foot. What happens? A box pops up: Do you really want to shoot yourself in the foot? After your confirmation a blue screen arises: Error 9we8qcsdf987 while shooting you in your foot: Retry Ignore Reboot Ciao, Steffen -- Steffen Mazanek #Haskell,that's where I just curry until fail,unwords www.steffen-mazanek.de#any error,drop all undefined,maybe break,otherwise in #sequence span isControl and take max $,id: (d:[])
On Monday, May 19, 2003, at 01:52 AM, Steffen Mazanek wrote:
You shoot yourself in the foot. The gun fires half an hour later (lazy evaluation), blows your hand instead of your foot (polymorphism), and leaves you in a state of total amnesia (memory leaks).
funny, but what about the state? In Haskell it is not possible to shoot yourself in the foot, except you are in the IO monad :-)
I agree. You can't shoot yourself in the foot. You have to make a new foot with a hole in it. If you don't like it, your old foot persists. Cheers, Rock. -- Andrew Rock -- A.Rock@griffith.edu.au -- http://www.cit.gu.edu.au/~arock/ School of Computing and Information Technology Griffith University -- Nathan, Brisbane, Queensland 4111, Australia
In article <5EC64D96-897F-11D7-89D4-00039369159A@griffith.edu.au>,
Andrew Rock
I agree. You can't shoot yourself in the foot. You have to make a new foot with a hole in it. If you don't like it, your old foot persists.
In Haskell, it's provably impossible to shoot yourself in the foot without using unsafeShootSelfInFoot. Curiously, this doesn't stop people using unsafeShootSelfInFoot in released software. -- Ashley Yakeley, Seattle WA
Ashley Yakeley wrote:
In Haskell, it's provably impossible to shoot yourself in the foot without using unsafeShootSelfInFoot. Curiously, this doesn't stop people using unsafeShootSelfInFoot in released software.
In Haskell, you pull the trigger, but the gun doesn't fire until the paramedics get there to bandage the wound. -- Matthew Donadio (m.p.donadio@ieee.org)
Yet another take on it: You first need to buy the bullet, which you do by appending an item to yesterday's shopping list and inspecting the previously unevaluated portion of yesterday's shopping bag.
On Friday 23 May 2003 03:17, Ashley Yakeley wrote:
In Haskell, it's provably impossible to shoot yourself in the foot without using unsafeShootSelfInFoot. Curiously, this doesn't stop people using unsafeShootSelfInFoot in released software.
AFAICT people here have successfully demonstrated how a simple construct for
interfacing with sequential I/O systems can be extended to emulate all
hazards of imperative programming <g>
*pun intended*
*hopefully funny*
*don't flame me*
--
Eray Ozkural (exa)
On Sun, 18 May 2003 16:00:40 +0200
Alain Cremieux
Hi, If I may contribute to the language definitions (http://burks.brighton.ac.uk/burks/language/index.htm), concerning *Haskell* :
You shoot yourself in the foot. The gun fires half an hour later (lazy evaluation), blows your hand instead of your foot (polymorphism), and leaves you in a state of total amnesia (memory leaks).
Memory leaks are when you remember something far longer than you need to and that's because you need to remember to load the gun before you fire it, but you don't do that until immediately before you need to shoot yourself in the foot, of course, that forces you to go to the store and buy the bullets, and of course, then you find out that you are out of vehicles as you've driven half-way to the grocer's but haven't finished because you haven't been hungry yet, halfway to the hardware shop for tools but nothing requires fixing yet, and halfway to the post-office but you haven't written the letter yet.
participants (8)
-
Alain Cremieux -
Andrew Rock -
Ashley Yakeley -
Derek Elkins -
Eray Ozkural -
Matthew Donadio -
Steffen Mazanek -
Tom Pledger