david_@discuss.tchncs.deEnglish · 2 months agoMonad laws in Raku - Anton Antonovplus-squarerakuforprediction.wordpress.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMonad laws in Raku - Anton Antonovplus-squarerakuforprediction.wordpress.comdavid_@discuss.tchncs.deEnglish · 2 months agomessage-square0linkfedilink
mrh@mander.xyzEnglish · edit-23 months agoWhat Might Functional Programming Meanplus-squarewumpus.lifeexternal-linkmessage-square4linkfedilinkarrow-up14arrow-down11
arrow-up13arrow-down1external-linkWhat Might Functional Programming Meanplus-squarewumpus.lifemrh@mander.xyzEnglish · edit-23 months agomessage-square4linkfedilink
Lena@gregtech.euEnglish · 4 months agoI'm getting started with functional programming, which language would you recommend?plus-squaremessage-squaremessage-square11linkfedilinkarrow-up114arrow-down10
arrow-up114arrow-down1message-squareI'm getting started with functional programming, which language would you recommend?plus-squareLena@gregtech.euEnglish · 4 months agomessage-square11linkfedilink
demesisxEnglish · 1 year agoWhat would you ask Simon Peyton Jones?plus-squaremessage-squaremessage-square2linkfedilinkarrow-up113arrow-down11
arrow-up112arrow-down1message-squareWhat would you ask Simon Peyton Jones?plus-squaredemesisxEnglish · 1 year agomessage-square2linkfedilink
demesisx@infosec.pubEnglish · 1 year ago(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019plus-squareyoutu.beexternal-linkmessage-square2linkfedilinkarrow-up122arrow-down13
arrow-up119arrow-down1external-link(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019plus-squareyoutu.bedemesisx@infosec.pubEnglish · 1 year agomessage-square2linkfedilink
洪 民憙 (Hong Minhee)@lemmy.mlEnglish · 2 years ago8 months of OCaml after 8 years of Haskell in productionplus-squaredev.toexternal-linkmessage-square2linkfedilinkarrow-up134arrow-down11
arrow-up133arrow-down1external-link8 months of OCaml after 8 years of Haskell in productionplus-squaredev.to洪 民憙 (Hong Minhee)@lemmy.mlEnglish · 2 years agomessage-square2linkfedilink
lysdexicEnglish · 2 years agoMonad (functional programming) - Wikipediaplus-squareen.wikipedia.orgexternal-linkmessage-square11linkfedilinkarrow-up150arrow-down17
arrow-up143arrow-down1external-linkMonad (functional programming) - Wikipediaplus-squareen.wikipedia.orglysdexicEnglish · 2 years agomessage-square11linkfedilink
demesisx@infosec.pubEnglish · 2 years agoLambda Calculus vs. Turing Machines (Theory of Computation)plus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up125arrow-down10
arrow-up125arrow-down1external-linkLambda Calculus vs. Turing Machines (Theory of Computation)plus-squareyoutu.bedemesisx@infosec.pubEnglish · 2 years agomessage-square0linkfedilink
wargreymon2023@sopuli.xyz · 2 years agoIf "category" has a better name....plus-squaremessage-squaremessage-square4linkfedilinkarrow-up16arrow-down10
arrow-up16arrow-down1message-squareIf "category" has a better name....plus-squarewargreymon2023@sopuli.xyz · 2 years agomessage-square4linkfedilink
wargreymon2023@sopuli.xyz · 2 years agoUnderstanding the Type of call/ccplus-squarewww.youtube.comexternal-linkmessage-square1linkfedilinkarrow-up15arrow-down11
arrow-up14arrow-down1external-linkUnderstanding the Type of call/ccplus-squarewww.youtube.comwargreymon2023@sopuli.xyz · 2 years agomessage-square1linkfedilink
demesisx@infosec.pubEnglish · 2 years ago"Propositions as Types" by Philip Wadlerplus-squareyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up115arrow-down10
arrow-up115arrow-down1external-link"Propositions as Types" by Philip Wadlerplus-squareyoutu.bedemesisx@infosec.pubEnglish · 2 years agomessage-square0linkfedilink
matcha_addict@lemy.lol · 2 years agoHow to convert imperative side-effectful program to functional (in Ocaml)?plus-squaremessage-squaremessage-square7linkfedilinkarrow-up110arrow-down10
arrow-up110arrow-down1message-squareHow to convert imperative side-effectful program to functional (in Ocaml)?plus-squarematcha_addict@lemy.lol · 2 years agomessage-square7linkfedilink
Mac · 2 years agoHow I learned Haskell in just 15 years - duckrabbit solutionsplus-squareduckrabbit.techexternal-linkmessage-square0linkfedilinkarrow-up113arrow-down13
arrow-up110arrow-down1external-linkHow I learned Haskell in just 15 years - duckrabbit solutionsplus-squareduckrabbit.techMac · 2 years agomessage-square0linkfedilink
Mac · 2 years agoLearn Lambda Calculus in 10 minutes with OCamlplus-squaredev.toexternal-linkmessage-square0linkfedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkLearn Lambda Calculus in 10 minutes with OCamlplus-squaredev.toMac · 2 years agomessage-square0linkfedilink
matcha_addict@lemy.lolEnglish · edit-22 years agoUsing Ocaml to learn FP. What FP concepts should I touch on?plus-squaremessage-squaremessage-square8linkfedilinkarrow-up112arrow-down10
arrow-up112arrow-down1message-squareUsing Ocaml to learn FP. What FP concepts should I touch on?plus-squarematcha_addict@lemy.lolEnglish · edit-22 years agomessage-square8linkfedilink
Mac · 2 years agoConcepts of Functional Programmingplus-squarepriver.devexternal-linkmessage-square1linkfedilinkarrow-up122arrow-down11
arrow-up121arrow-down1external-linkConcepts of Functional Programmingplus-squarepriver.devMac · 2 years agomessage-square1linkfedilink
lysdexicEnglish · 2 years agoFunctional Classes (2023)blog.cleancoder.comexternal-linkmessage-square0linkfedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkFunctional Classes (2023)blog.cleancoder.comlysdexicEnglish · 2 years agomessage-square0linkfedilink
Mac · 2 years ago15-150: Principles of Functional Programmingbrandonspark.github.ioexternal-linkmessage-square0linkfedilinkarrow-up116arrow-down10
arrow-up116arrow-down1external-link15-150: Principles of Functional Programmingbrandonspark.github.ioMac · 2 years agomessage-square0linkfedilink
ericjmorey@beehaw.orgEnglish · 3 years agoGopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lostplus-squaregopiandcode.ukexternal-linkmessage-square0linkfedilinkarrow-up111arrow-down10
arrow-up111arrow-down1external-linkGopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lostplus-squaregopiandcode.ukericjmorey@beehaw.orgEnglish · 3 years agomessage-square0linkfedilink
foobarbruh · 3 years agoFearless Tinkering with Nixplus-squarewww.heneli.devexternal-linkmessage-square0linkfedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkFearless Tinkering with Nixplus-squarewww.heneli.devfoobarbruh · 3 years agomessage-square0linkfedilink
