parametricity造句

Non-constructive mathematics in these systems is possible by adding operators on continuations such as canonicity and parametricity.
He is also author of the paper " Theorems for free ! " that gave rise to much research on functional language optimization ( see also Parametricity ).
Types defined by using least fixed point construct with functor F can be regarded as an initial F-algebra, provided that parametricity holds for the type.
Any parametrically polymorphic function is necessarily restricted in what it can do, working on the shape of the data instead of its value, leading to the concept of parametricity.
It's difficult to find parametricity in a sentence. 用parametricity造句挺难的