Gradual typing is messing with my habits… but not in a pleasant way 😕

A type-system for #Nix by Théophane Hufschmitt, Oct. 2017
youtube.com/watch?v=79dL7HgmW_ #GradualTyping

@otini That might be a step beyond #Guix even, but honestly I wasn't impressed: adding a very complicated type-system on top of already very/too complicated custom language may be not the best idea, IMO.

@amiloradovsky @otini I couldn't watch beyound the first example and goals.
They have all the same problems that static typing for JS has and there are already very good solutions like Flow which match ducktyping nature. But they want no annotations and to still accept ill typed code? What's the point then?

@charlag @amiloradovsky They do have annotations, and I think what Théophane meant is that type errors should not prevent from typechecking the rest or running the code.
I'm more disturbed by the enormous complexity of the type system, and that all the examples shown seem to be code that no one reasonable would want to write. I wonder if there couldn't be a simpler type system with the same objectives. But I really am illiterate in gradual typing.

Follow

@otini

Dont forget, the simple stuff probably does just work, but the overall design has to pay attention to the corner cases. So these are what get discussed by people working on this stuff.

@charlag @amiloradovsky

Sign in to participate in the conversation
social.coop

social.coop is a cooperatively-run corner of the Fediverse. The instance is democratically governed by its members, who generally share an interest in the co-op model, but topics of discussion range widely.

If you are interested in joining our community, please review our Bylaws and Code of Conduct. If you agree with them, you may apply for membership on our instance via this link

Our instance is supported by sliding scale contributions of $1-10/mo made via Open Collective. You must have an active Open Collective account to apply for membership; you may set one up here