seen via a Scala mailing list thread:
http://goto.ucsd.edu/~rjhala/papers/liquid_types.pdf
would be nifty if ATS/3 somehow magically inferred dependent types
sometimes. iirc, the DDC thesis stated that we need such ways around
all the manual ascii typing.
What if DDC is completely wrong on this :)On Friday, March 14, 2014 5:11:13 PM UTC-4, Raoul Duke wrote:
seen via a Scala mailing list thread:
http://goto.ucsd.edu/~rjhala/papers/liquid_types.pdfwould be nifty if ATS/3 somehow magically inferred dependent types
sometimes. iirc, the DDC thesis stated that we need such ways around
all the manual ascii typing.
That cannot work. You will get conflicting visions and incompatible
designs.On Friday, March 14, 2014 5:22:42 PM UTC-4, Raoul Duke wrote:
i wish i had a zillion mega bucks so i could pay for everybody who
works on dependent types to get together and brain storm the future
and get coding grunts (like me, who don’t grok the stuff really enough
yet) to implement all the cool stuff asap
i wish i had a zillion mega bucks so i could pay for everybody who
works on dependent types to get together and brain storm the future
and get coding grunts (like me, who don’t grok the stuff really enough
yet) to implement all the cool stuff asap 
Not sure about how to answer this question.
Type-checking is mostly about detecting type-errors. Too much
inference can make it very difficult to figure out what causes a particular
type-error.On Friday, March 14, 2014 6:10:01 PM UTC-4, Raoul Duke wrote:
more clueless but curious questions: are existentially quantified
types at odds or orthogonal to, or in some way compatible with, the
liquid typing research? (l.t. has tools for haskell and c now as well,
interesting.)
What is DDC thesis?
What is DDC thesis?On Friday, March 14, 2014 5:11:13 PM UTC-4, Raoul Duke wrote:
seen via a Scala mailing list thread:
http://goto.ucsd.edu/~rjhala/papers/liquid_types.pdfwould be nifty if ATS/3 somehow magically inferred dependent types
sometimes. iirc, the DDC thesis stated that we need such ways around
all the manual ascii typing.
more clueless but curious questions: are existentially quantified
types at odds or orthogonal to, or in some way compatible with, the
liquid typing research? (l.t. has tools for haskell and c now as well,
interesting.)
sorry i didn’t notice it was already talked about wrt ats before…
http://sourceforge.net/p/ats-lang/mailman/message/27775956/
p.s. i am now reading your DML paper, although I am not sure how much
I will actually remotely understand simply because I’m a simpleton
with such things.
