[–] 2 points 4 days ago* (last edited 4 days ago) (2 children)

Gostei de ver! Pode ser capaz de liberar-nos da porcaria que é lua, lol Sera que tem como desenhar "constraints" parametricos para componentes de structs? Nao estou em casa, ainda nao posso esperimentar, mas sera que da para ter terminador/juntador de blocos? Seria triste se seguise o python em o amor de espaços syntacticos. Tems algum projecto em mente que queres implementar nele? Se ainda nao, sera que ja consideras-te formalizacao? Se adicionar constraints parametricos, estarias em bom caminho para Relational Type Theory (RelTT). Se supportar row polymorphism (do Wand) seria o meu sonho :)

  • source
  • [–] 5 points 2 weeks ago

    Nominal typing was a premature optimization. Product types should be structural and row polymorphic. And if they had been, dynamically typed languages nevdr would've needed to exist and wouldn't have waited so long to smuggle types back onto their data structures. That said, i'm kinda glad shell scripting languages exist.

  • source
  • view more: next ›