Intro to ATS #10: Datatype Refinement

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

ATS Programming Language (.moe)

jfondren

subscribers

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
DISCUSS THIS VIDEO

Company

Policies

Support
BitChute is a peer-to-peer content sharing platform. Creators are allowed to post content they produce to the platform, so long as they comply with our policies. The content posted to the platform is not reflective or representative of the views of Bit Chute Limited, its staff or owners. © 2017-2024 Bit Chute Limited, Box 813, Andover House, George Yard, Andover, Hampshire, SP10 1PB. United Kingdom. Company number 10637289.