Follow-up post explaining research rationale

[Joe Duarte via Digitalmars-d]

On Sunday, 15 May 2016 at 10:52:47 UTC, Timon Gehr wrote:
> On 15.05.2016 05:02, Joe Duarte wrote:
>> Type systems are quite arbitrary and primitive
>
> That may apply to the popular ones.
>
>> -- we could've moved to  real-world types
>
> The "real world" is complex and there are bound to be some 
> modeling limitations. I don't really see what "real-world" type 
> is supposed to mean.
>
>> a long time ago, which would be much safer and a hell
>> of a lot more productive.
>
> How would that work/what's the difference?

Here's what I think is the first big exploration of a real-world 
type system: 
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.397

I would combine it with something like Precimonious: 
http://www.cs.berkeley.edu/~ksen/papers/precimonious.pdf