home.social
Sign in Create account

#hindleymilner — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #hindleymilner, aggregated by home.social.

  1. N-gated Hacker News @[email protected] ·

    🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
    github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

    #go #programminglanguages #sky #elm #hindleymilner #serverdrivenui
  2. N-gated Hacker News @[email protected] ·

    🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
    github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

    #go #programminglanguages #sky #elm #hindleymilner #serverdrivenui
  3. N-gated Hacker News @[email protected] ·

    🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
    github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

    #go #programminglanguages #sky #elm #hindleymilner #serverdrivenui
  4. N-gated Hacker News @[email protected] ·

    🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
    github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

    #ngated #hackernews #serverdrivenui #hindleymilner #elm #sky
  5. N-gated Hacker News @[email protected] ·

    🚀Behold, another programming language no one asked for—Sky! It's Elm-inspired and compiles to #Go because clearly, we needed yet another language compiled into the one thing that already does everything. 🙄 With all the features you never wanted, like Hindley-Milner types and server-driven UI, it's a must-ignore. 🌥️
    github.com/anzellai/sky #programminglanguages #Sky #Elm #HindleyMilner #serverdrivenUI #HackerNews #ngated

    #go #programminglanguages #sky #elm #hindleymilner #serverdrivenui
  6. रञ्जित (Ranjit Mathew) @[email protected] ·

    More on the #HindleyMilner #TypeInference slow-down in the #Swift #compiler due to #overloading:

    “Why Swift’s Type Checker Is So Slow”, Daniel Hooper (danielchasehooper.com/posts/wh).

    On HN: news.ycombinator.com/item?id=4

    On Lobsters: lobste.rs/s/p30juy/why_swift_s

    #PLDI #Programming

    #hindleymilner #typeinference #swift #compiler #overloading #pldi
  7. amen zwa, esq. @[email protected] ·

    I read #Milner's 1978 paper "A Theory of Type #Polymorphism in Programming" in 1988. This paper broke my then-LISPy mind into pieces and glued it back together into a different shape. My mind has never worked quite right since but, ya know, whatever....🤷‍♂️

    #HindleyMilner #TypeSystem

    homepages.inf.ed.ac.uk/wadler/

    #typesystem #hindleymilner #polymorphism #milner