There is a programming language in which types are sets (of values) and that is
designed all on this interpretation (even though integer values are primitive
and not encoded as you suggest).
The language is CDuce where, besides basic function and product types, you
have also (set-theoretic)
On 2013.11.17 3:48 PM, Darren Duncan wrote:
Thanks a lot to Andrew, John, Raiph, and any later responders. What you've said
so far looks very useful to me, and I will follow up on the leads you gave. --
Darren Duncan
FYI, as of last night I'm intending to use generic ordered lists rather than
I have a question for those among you that are more knowledgeable about Haskell
or other functional programming languages, or related mathematics or set theory
and such.
I recall reading that at least in certain math/logic papers that a programming
language type system can be defined
On Sun, Nov 17, 2013 at 02:10:17PM -0800, Darren Duncan wrote:
I recall reading that at least in certain math/logic papers that a
programming language type system can be defined logically in terms
of pure sets, making it essentially self-defined without needing to
rely on external definitions
On 2013 Nov 17, at 17:10, Darren Duncan wrote:
I recall reading that at least in certain math/logic papers that a
programming language type system can be defined logically in terms
of pure sets, making it essentially self-defined without needing to
rely on external definitions of for
On Sun, Nov 17, 2013 at 5:43 PM, Andrew Suffield
asuffi...@suffields.me.ukwrote:
While mathematics as a field has mostly settled on set theory as its
basis,
type theory is equally expressive and is usually preferred in language
design.
Aiui there is now optimism in some circles that the set
Thanks a lot to Andrew, John, Raiph, and any later responders. What you've said
so far looks very useful to me, and I will follow up on the leads you gave. --
Darren Duncan