Intro to ATS #10: Datatype Refinement

First published at 11:26 UTC on November 24th, 2018.

1. the cons constructor needs {n:int}, not [n:int]
2. the implementation of get_fifth_member needs cons(x, _) where it has x
3. it's not just "possible" that the length of somelist isn't known; it definitely isn't _statically_ ...

CategoryScience & Technology
SensitivityNormal - Content that is suitable for ages 16 and over