armchair_progamer@programming.devM to Programming Languages@programming.dev · 4 days agoExploring biphasic (multi-stage) programmingplus-squarerybicki.ioexternal-linkmessage-square2fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkExploring biphasic (multi-stage) programmingplus-squarerybicki.ioarmchair_progamer@programming.devM to Programming Languages@programming.dev · 4 days agomessage-square2fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 6 days agoAssociated Effects: Flexible Abstractions for Effectful Programming (paper)plus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkAssociated Effects: Flexible Abstractions for Effectful Programming (paper)plus-squaredl.acm.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 6 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 8 days agoInternational Conference on Functional Programming 2024 Accepted Papersplus-squareicfp24.sigplan.orgexternal-linkmessage-square0fedilinkarrow-up112arrow-down12
arrow-up110arrow-down1external-linkInternational Conference on Functional Programming 2024 Accepted Papersplus-squareicfp24.sigplan.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 8 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 11 days agoDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 11 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 11 days agoA reckless introduction to Hindley-Milner type inferenceplus-squarereasonableapproximation.netexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkA reckless introduction to Hindley-Milner type inferenceplus-squarereasonableapproximation.netarmchair_progamer@programming.devM to Programming Languages@programming.dev · 11 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 13 days agoWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inarmchair_progamer@programming.devM to Programming Languages@programming.dev · 13 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 14 days agoThe Pre-Scheme Restorationplus-squareprescheme.orgexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkThe Pre-Scheme Restorationplus-squareprescheme.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 14 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 15 days agoLady Deirdre: Unified compiler frameworkplus-squarelady-deirdre.lakhin.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLady Deirdre: Unified compiler frameworkplus-squarelady-deirdre.lakhin.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 15 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 16 days agoPLDI (Programming Language Design and Implementation) 2024 Proceedingsplus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkPLDI (Programming Language Design and Implementation) 2024 Proceedingsplus-squaredl.acm.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 16 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 1 month agoA baseline scrapscript compilerplus-squarebernsteinbear.comexternal-linkmessage-square1fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkA baseline scrapscript compilerplus-squarebernsteinbear.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 1 month agomessage-square1fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 months agoMeta, a Human-Friendly Programming Languageplus-squarelanguage.metaproject.frlexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkMeta, a Human-Friendly Programming Languageplus-squarelanguage.metaproject.frlarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 months agomessage-square0fedilink
armchair_progamer@programming.dev to Rust@programming.dev · 2 months agoMethods Should Be Object Safeplus-squarenora.codesexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMethods Should Be Object Safeplus-squarenora.codesarmchair_progamer@programming.dev to Rust@programming.dev · 2 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agoMarch 2024 monthly "What are you working on?" threadplus-squarepinmessage-squaremessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1message-squareMarch 2024 monthly "What are you working on?" threadplus-squarepinarmchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agomessage-square0fedilink
armchair_progamer@programming.dev to Opensource@programming.dev · edit-26 months agothe rust project has a burnout problemplus-squarejyn.devexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkthe rust project has a burnout problemplus-squarejyn.devarmchair_progamer@programming.dev to Opensource@programming.dev · edit-26 months agomessage-square0fedilink