By Andrey_Karpov_2009
via jonmsterling.com
Submitted: Nov 26 2012 / 06:00
In my view, extensible records are a rather good problem for gauging type system expressivity. I recently wrote an extensible records framework for Haskell called Vinyl; today, I thought I would see what it would take to manifest something similar in C++. To get started, extensible records just means a compositional approach to data structures, usually involving some kind of row polymorphism. So, given specifications for some record fields, we can get an expressive kind of static duck typing.
-
Debate: Do We Need a Universal Web Bytecode?
-
Disable Directory Listing in Asp.Net
-
Webinar: SQL Query Patterns, Optimized
-
Over 18 million students and staff to benefit from faster, more secure cloud-computing
-
How to setup a Load Balanced Web Farm of Virtual Machines (Linux or otherwise) on Windows Azure (command line)
-
Agile methodology
Add your comment
