Part 1 of this article introduced four new T-SQL functions available in SQL Server 2012. Part 2 has the rest.

If you want to know more about dependent types usage in Racket 6.11, do not miss this introduction by Andrew Kent, who did the primary work behind them under the guidance of Tobin-Hochstadt.