demesisxEnglish · 2 months agoWhat would you ask Simon Peyton Jones?plus-squaremessage-squaremessage-square2fedilinkarrow-up111arrow-down10
arrow-up111arrow-down1message-squareWhat would you ask Simon Peyton Jones?plus-squaredemesisxEnglish · 2 months agomessage-square2fedilink
demesisx@infosec.pubEnglish · 4 months ago(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019plus-squareyoutu.beexternal-linkmessage-square2fedilinkarrow-up121arrow-down13
arrow-up118arrow-down1external-link(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019plus-squareyoutu.bedemesisx@infosec.pubEnglish · 4 months agomessage-square2fedilink
洪 民憙 (Hong Minhee)@lemmy.mlEnglish · 8 months ago8 months of OCaml after 8 years of Haskell in productionplus-squaredev.toexternal-linkmessage-square2fedilinkarrow-up132arrow-down11
arrow-up131arrow-down1external-link8 months of OCaml after 8 years of Haskell in productionplus-squaredev.to洪 民憙 (Hong Minhee)@lemmy.mlEnglish · 8 months agomessage-square2fedilink
lysdexicEnglish · 9 months agoMonad (functional programming) - Wikipediaplus-squareen.wikipedia.orgexternal-linkmessage-square11fedilinkarrow-up149arrow-down17
arrow-up142arrow-down1external-linkMonad (functional programming) - Wikipediaplus-squareen.wikipedia.orglysdexicEnglish · 9 months agomessage-square11fedilink
demesisx@infosec.pubEnglish · 9 months agoLambda Calculus vs. Turing Machines (Theory of Computation)plus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up123arrow-down10
arrow-up123arrow-down1external-linkLambda Calculus vs. Turing Machines (Theory of Computation)plus-squareyoutu.bedemesisx@infosec.pubEnglish · 9 months agomessage-square0fedilink
wargreymon2023@sopuli.xyz · 9 months agoIf "category" has a better name....plus-squaremessage-squaremessage-square4fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1message-squareIf "category" has a better name....plus-squarewargreymon2023@sopuli.xyz · 9 months agomessage-square4fedilink
wargreymon2023@sopuli.xyz · 10 months agoUnderstanding the Type of call/ccplus-squarewww.youtube.comexternal-linkmessage-square1fedilinkarrow-up15arrow-down11
arrow-up14arrow-down1external-linkUnderstanding the Type of call/ccplus-squarewww.youtube.comwargreymon2023@sopuli.xyz · 10 months agomessage-square1fedilink
demesisx@infosec.pubEnglish · 10 months ago"Propositions as Types" by Philip Wadlerplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up115arrow-down10
arrow-up115arrow-down1external-link"Propositions as Types" by Philip Wadlerplus-squareyoutu.bedemesisx@infosec.pubEnglish · 10 months agomessage-square0fedilink
matcha_addict@lemy.lol · 10 months agoHow to convert imperative side-effectful program to functional (in Ocaml)?plus-squaremessage-squaremessage-square7fedilinkarrow-up110arrow-down10
arrow-up110arrow-down1message-squareHow to convert imperative side-effectful program to functional (in Ocaml)?plus-squarematcha_addict@lemy.lol · 10 months agomessage-square7fedilink
Mac · 11 months agoHow I learned Haskell in just 15 years - duckrabbit solutionsplus-squareduckrabbit.techexternal-linkmessage-square0fedilinkarrow-up113arrow-down13
arrow-up110arrow-down1external-linkHow I learned Haskell in just 15 years - duckrabbit solutionsplus-squareduckrabbit.techMac · 11 months agomessage-square0fedilink
Mac · 11 months agoLearn Lambda Calculus in 10 minutes with OCamlplus-squaredev.toexternal-linkmessage-square0fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkLearn Lambda Calculus in 10 minutes with OCamlplus-squaredev.toMac · 11 months agomessage-square0fedilink
matcha_addict@lemy.lolEnglish · edit-211 months agoUsing Ocaml to learn FP. What FP concepts should I touch on?plus-squaremessage-squaremessage-square8fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1message-squareUsing Ocaml to learn FP. What FP concepts should I touch on?plus-squarematcha_addict@lemy.lolEnglish · edit-211 months agomessage-square8fedilink
Mac · 11 months agoConcepts of Functional Programmingplus-squarepriver.devexternal-linkmessage-square1fedilinkarrow-up122arrow-down11
arrow-up121arrow-down1external-linkConcepts of Functional Programmingplus-squarepriver.devMac · 11 months agomessage-square1fedilink
lysdexicEnglish · 1 year agoFunctional Classes (2023)blog.cleancoder.comexternal-linkmessage-square0fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkFunctional Classes (2023)blog.cleancoder.comlysdexicEnglish · 1 year agomessage-square0fedilink
Mac · 1 year ago15-150: Principles of Functional Programmingbrandonspark.github.ioexternal-linkmessage-square0fedilinkarrow-up116arrow-down10
arrow-up116arrow-down1external-link15-150: Principles of Functional Programmingbrandonspark.github.ioMac · 1 year agomessage-square0fedilink
ericjmorey@beehaw.orgEnglish · 1 year agoGopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lostplus-squaregopiandcode.ukexternal-linkmessage-square0fedilinkarrow-up111arrow-down10
arrow-up111arrow-down1external-linkGopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lostplus-squaregopiandcode.ukericjmorey@beehaw.orgEnglish · 1 year agomessage-square0fedilink
foobarbruh · 1 year agoFearless Tinkering with Nixplus-squarewww.heneli.devexternal-linkmessage-square0fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkFearless Tinkering with Nixplus-squarewww.heneli.devfoobarbruh · 1 year agomessage-square0fedilink
Phoenix3875@lemmy.worldEnglish · 1 year agoBeyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023plus-squarewww.youtube.comexternal-linkmessage-square1fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkBeyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023plus-squarewww.youtube.comPhoenix3875@lemmy.worldEnglish · 1 year agomessage-square1fedilink
foobarbruh · 1 year agoFearless Tinkering is Functionalplus-squarewww.heneli.devexternal-linkmessage-square0fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkFearless Tinkering is Functionalplus-squarewww.heneli.devfoobarbruh · 1 year agomessage-square0fedilink
demesisxEnglish · 1 year agoFixing the Future | Functional Programming: The Biggest Change Since We Killed The Goto?plus-squareshare.transistor.fmexternal-linkmessage-square0fedilinkarrow-up110arrow-down11
arrow-up19arrow-down1external-linkFixing the Future | Functional Programming: The Biggest Change Since We Killed The Goto?plus-squareshare.transistor.fmdemesisxEnglish · 1 year agomessage-square0fedilink
