Toot

Written by sumanthvepa on 2024-10-28 at 03:51

I came across the #hindleymilner type system while learning swift. Got curious. The #wikipedia page is a good start.

[#]types #programming #lambda #calculus

https://en.wikipedia.org/wiki/Hindley–Milner_type_system

=> More informations about this toot | View the thread | More toots from sumanthvepa@mastodon.social

Mentions

Tags

=> View hindleymilner tag | View wikipedia tag | View types tag | View programming tag | View lambda tag | View calculus tag

Proxy Information

Original URL: gemini://mastogem.picasoft.net/toot/113383012938947785
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 223.41717 milliseconds
Gemini-to-HTML Time: 0.528022 milliseconds

This content has been proxied by September (3851b).