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

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

Concept:
#Lua but with a dynamic take on #Rust's traits and optional dependent typing

idk probably would end up overengineered but let me dream dammit

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · 2017-11-13T02:13:00Z

@grainloom dependent typing in a dynamic language?

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

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

@lizardsquid Well, not like in real dependently typed languages, more like, traits could have parameters?
Idk I haven't thought this all out.

**Moved** @LottieVixen@glitch.social · Nov 13, 2017, 02:16

**Moved** @LottieVixen@glitch.social · Nov 13, 2017, 02:16

Moved @LottieVixen@glitch.social

@grainloom @lizardsquid im interested, continue