| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Mon Aug 2 11:38:55 EDT 2010 |
|
ADTs have nothing to do with ML. They're an older and basic computer science concept. So why do you have an opaque require? Just on simple duality grounds you should have both or neither. Shriram
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}