Dear Lucas,
As mentioned by David, I was asking a question regarding lower level
code tree data structure.
But still I enjoy reading your interesting code example. I found this
approach very useful when I was writing a small interpreter where I need
to keep values with different types in an
On Tue, 15 Mar 2011, Lucas Dixon wrote:
I'm not sure if this is what you meant, but the type of exceptions is
heterogeneous in the sense that all exceptions, no matter what data they
hold, have the same type.
The idea is used in Isabelle's generic contexts, among other places.
(btw - does a
On 15/03/2011 05:46, Lucas Dixon wrote:
I'm not sure if this is what you meant, but the type of exceptions is
heterogeneous in the sense that all exceptions, no matter what data they
hold, have the same type.
The query was really about the lower levels where the data structures
are untyped but
I'm not sure if this is what you meant, but the type of exceptions is
heterogeneous in the sense that all exceptions, no matter what data they
hold, have the same type.
This lets you create lists of different kinds of data, where new types
of data can be added later. It essentially pushes type
To the list.
Original Message
Subject:creating heterogeneous array in the Poly/ML codetree
Date: Thu, 10 Mar 2011 16:07:50 -0600
From: Yue Li
Organization: CSE Department, Texas A&M
To: David Matthews
CC: Gabriel Dos Reis
Dear David,
Is there any way
