Ask HN: Accessible resources on making a modern static type system?

Ask HN: Accessible resources on making a modern static type system?
2 by brundolf | 0 comments on Hacker News.
Crafting Interpreters was a great resource for parsing, but working on the static type system for my language project I'm mostly feeling my way around in the dark and making stuff up as I go. That's going better than expected, but I still feel I would benefit from something at around the same level as CI but for type systems (checking and inference; mostly inference, but also things like generic types and refinement). Something practical and light on formal theory, with insight from industry, that lays a foundation from which to keep learning. I tried reading about Hindley-Milner etc directly, and it went way over my head.

Comments

Post a Comment

Popular posts from this blog

Lord of the Rings Influenced a Cyberpunk 2077: Phantom Liberty Quest

Spoiler Warning: This article features minor spoilers of an enemy which appears in a late game mission of Cyberpunk 2077's Phantom Liberty expansion. Beloved fantasy epic The Lord of the Rings may not be an obvious inspiration for dystopian role-playing game Cyberpunk 2077 , but it influenced developer CD Projekt Red regardless. Speaking to IGN at GDC 2024, associate game director Paweł Sasko further explained CD Projekt Red's philosophy of designing specific quests with certain genres or themes in mind. It has used this concept on a grander scale previously, like imagining The Witcher 3: Wild Hunt as a horror game to create the Hearts of Stone expansion, or seeing Cyberpunk 2077 in the espionage genre to create the Phantom Liberty expansion as a whole. It was in this chunk of new story content that CD Projekt Red implemented this philosophy on a more intricate level, however, and it pulled from myriad popular works to do so, including The Lord of the Rings. Sasko refer...
Read more

Lord of the Rings Fans Mourn King Théoden Actor Bernard Hill, Dead at 79

Bernard Hill, who found fame as King Théoden in Peter Jackson's Lord of the Rings trilogy and as Captain Smith in Titanic, has died. He was 79. Hill died early Sunday morning, his agent told the BBC . His representative did not share the cause of death. A long-time Hollywood veteran, Hill's most recent role was in BAFTA-winning drama The Reponder alongside Martin Freeman. Over the years he's appeared in a variety of movies including Gandhi and The Scorpion King, as well as Fable III. Bernard Hill, best known for his work as Théoden in The Lord of the Rings trilogy and Captain Smith in Titanic, has died at age 79. pic.twitter.com/xtLehexg2Z — IGN (@IGN) May 5, 2024 But he remains best-known for his memorable turn as King Théoden in Two Towers and Return of the King. The role forever associated him with Lord of the Rings, though he admitted that he was "not interested" in Rings of Power , calling it a "money-making venture." Fans paid to tribute t...
Read more

John Wick Pinball Machine Announced, Touts Pinball’s First AI-Augmented Software

The next Stern Pinball machine will be based on the John Wick movie franchise, including music, movie clips, and likenesses of all major characters – most importantly that of Keanu Reeves, who graces the art and presumably many clips of assassinations. This is not Keanu’s first pinball appearance – he’s already been the star of the 1995 machine from Williams, Johnny Mnemonic, and Reeves was a cast member that appeared in Williams’ Bram Stoker’s Dracula, which was also a game in 1993. John Wick seems to be primarily themed around assassinations appropriately, and that’s where things get weird. Causing trouble for you is an AI-controlled opponent. Here’s how Stern says this all will work: To raise the stakes, John Wick pinball introduces Stern’s all-new dynamic AI combat system, an innovation that brings the frenetic combat of the legendary films to the game. The Stern team has created a primitive video game AI system to control the enemy lights on the playfield, setting the John W...
Read more