Search results

Page title matches

• Reified type
  A reified type is a value that represents a [[type]]. Using reified types instead of real types means that you can do any manipulations with th
  659 bytes (116 words) - 14:21, 30 September 2006

Page text matches

• Reified type
  A reified type is a value that represents a [[type]]. Using reified types instead of real types means that you can do any manipulations with th
  659 bytes (116 words) - 14:21, 30 September 2006
• Diagrams/Dev/Text
  ** However, text objects which are implicitly reified into a path using "freeze" take up no space.
  2 KB (295 words) - 01:31, 13 February 2013
• Traits type class
  The solution is to pass a [[Reified type]] as a phantom argument:
  3 KB (408 words) - 18:20, 18 August 2009
• Wrapper types
  ...able (added in this case via a wrapper type) which avoids the need for a [[Reified type]] parameter or the construction of a custom class (when the class alre
  3 KB (420 words) - 15:11, 30 September 2006
• 型
  *[[Reified type]], [[Non-trivial type synonyms]], [[Abstract data type]], [[Concrete d
  8 KB (433 words) - 14:11, 7 December 2009
• Type
  *[[Reified type]], [[Non-trivial type synonyms]], [[Abstract data type]], [[Concrete d
  7 KB (1,016 words) - 15:20, 6 February 2021
• Zipper
  ...t “Zipper can be viewed as a [[Library/CC-delcont|delimited continuation]] reified as a data structure” (link added).
  10 KB (1,623 words) - 21:10, 26 June 2023
• Continuation
  ...[Zipper]] can be viewed as a [[Library/CC-delcont|delimited continuation]] reified as a data structure" (links added).
  10 KB (1,560 words) - 12:02, 15 April 2024
• Haskell logos/New logo ideas
  --[[User:Reified|Reified]] 14:48, 17 December 2008 (UTC) --[[User:Reified|Reified]] 07:20, 16 December 2008 (UTC)
  34 KB (5,126 words) - 19:19, 15 August 2019