SQL window functions provide extremely powerful and useful features that let you work with observations more easily. Different types explained here.

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

Racket 6.11 brings refinement types and dependent function types to its Typed Racket variant.