On 2011-02-11 12:57 AM, wren ng thornton wrote: > This issue is an area of active research over in Agda. Their concerns > are (perhaps) quite a bit different since they're working with full > dependent types, but according to the type theory it definitely appears > that records (aka structs) are distinctly different from datatypes (aka > (recursive) tagged unions). To some extent they appear to be duals,
I thought this was already well established, ie. records = products, datatypes = sums, and products and sums are duals. Or does the work you're referring to go beyond this simple characterization? Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
