Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
int_19h
57 days ago
|
parent
|
context
|
favorite
| on:
What would it take to add refinement types to Rust...
The author did mention this. It's exactly what the F# article they cite is about:
http://typesatwork.imm.dtu.dk/material/TaW_Paper_TypesAtWork...
loeg
56 days ago
[–]
I believe you that the F# PDF describes it, but the text of the fine article itself does
not
describe it in any recognizable way.
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
http://typesatwork.imm.dtu.dk/material/TaW_Paper_TypesAtWork...