On the tangible programming there is also the Conal Elliot talk that shows the same idea in Haskell