In a post on Lambda The Ultimate, I mentioned Nice's capabilities for smoothly integrating static and dynamic typing. These are new, and not widely publicized, so I thought people might be interested. I wrote another example for the Nice discussion forum here (the thread starts here).