Applied Type System

Hongwei Xi, creator of DML and Xanadu, the ad hoc dependently typed programming languages, is developing ATS. It has several imporvemens over previous work, including object orientation and safe pointer arithmetic.

Browse archives

Active forum topics

Is character as a type meaningless?
Haxl(-like "Monads") in terms of Delimited Continuations?
HTTPS and logins to LtU.
A case study of concatenative v.s. applicative syntax design
First-Class Patterns

Compiling high-level code to cryptography
Haxl(-like "Monads") in terms of Delimited Continuations?
A case study of concatenative v.s. applicative syntax design
Using JavaScript-like syntax to program with Interaction Nets
Sorting the travelling salesman problem

My preferred design choices
5 weeks 4 days ago
Delimited continuations don't parallelize well.
5 weeks 5 days ago
With Unicode, Character as a type is in fact meaningless.
5 weeks 6 days ago
With Unicode, Character as a type is in fact meaningless.
5 weeks 6 days ago
...people claim about C++
6 weeks 4 days ago
Terminology counts
6 weeks 4 days ago
Terminology counts
6 weeks 4 days ago
Yeah, been there...
9 weeks 5 days ago
Don't throw away a useful tool
10 weeks 4 days ago
Right. That's an example.
10 weeks 4 days ago

Lambda the Ultimate

User login

Navigation

Applied Type System

Browse archives

Active forum topics

New forum topics

Recent comments