**read-only account (Rain 🚱)** @grainloom@cybre.space · Nov 04, 2017, 12:26

**read-only account (Rain 🚱)** @grainloom@cybre.space · Nov 04, 2017, 12:26

All those articles about Rust's type system just make me miss full-on dependent types :/
(and sad that Idris doesn't have the same momentum as Rust)

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Nov 04, 2017, 13:03

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Nov 04, 2017, 13:03

@grainloom same, kinda

I tried to learn ATS, but the docs were out of date ::/

**read-only account (Rain 🚱)** @grainloom@cybre.space · Nov 04, 2017, 13:22

**read-only account (Rain 🚱)** @grainloom@cybre.space · Nov 04, 2017, 13:22

@lizardsquid ooooh
I haven't heard of this one until now.

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · 2017-11-04T13:23:05Z

@grainloom I hope they've fixed the documentation!

**read-only account (Rain 🚱)** @grainloom@cybre.space · Nov 04, 2017, 14:16

**read-only account (Rain 🚱)** @grainloom@cybre.space · Nov 04, 2017, 14:16

@lizardsquid Based on a quick check, there is a lot of it but idk its quality.
No time to check rn coz
LERNING