Python from Wise Guy's Viewpoint

Brian McNamara! gt5163b at prism.gatech.edu
Sat Oct 25 14:31:49 EDT 2003


prunesquallor at comcast.net once said:
>Are they happy with something like this?
>
>(defun black-hole (x)
>  #'black-hole)
>
>(for non lispers, the funny #' is a namespace operator.
> The black-hole function gobbles an argument and returns
> the black-hole function.)

Finally, an example that I don't think you can type in Haskell.  
You score a point for that.  :)

If we have a static type system which admits infinite types, then we
can assign black-hole a type.  So it's still typeable, just not in any
common language I can name offhand.  :)

-- 
 Brian M. McNamara   lorgon at acm.org  :  I am a parsing fool!
   ** Reduce - Reuse - Recycle **    :  (Where's my medication? ;) )




More information about the Python-list mailing list