洪 民憙 (Hong Minhee)@lemmy.mlEnglish · 6 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 · 6 months agomessage-square2fedilink
lysdexic@programming.devEnglish · 7 months agoMonad (functional programming) - Wikipediaplus-squareen.wikipedia.orgexternal-linkmessage-square8fedilinkarrow-up146arrow-down17
arrow-up139arrow-down1external-linkMonad (functional programming) - Wikipediaplus-squareen.wikipedia.orglysdexic@programming.devEnglish · 7 months agomessage-square8fedilink
wargreymon2023@sopuli.xyz · 8 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 · 8 months agomessage-square4fedilink
wargreymon2023@sopuli.xyz · 8 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 · 8 months agomessage-square1fedilink
matcha_addict@lemy.lol · 9 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 · 9 months agomessage-square7fedilink
Mac@programming.dev · 9 months agoHow I learned Haskell in just 15 years - duckrabbit solutionsplus-squareduckrabbit.techexternal-linkmessage-square0fedilinkarrow-up112arrow-down13
arrow-up19arrow-down1external-linkHow I learned Haskell in just 15 years - duckrabbit solutionsplus-squareduckrabbit.techMac@programming.dev · 9 months agomessage-square0fedilink
Mac@programming.dev · 9 months agoLearn Lambda Calculus in 10 minutes with OCamlplus-squaredev.toexternal-linkmessage-square0fedilinkarrow-up110arrow-down10
arrow-up110arrow-down1external-linkLearn Lambda Calculus in 10 minutes with OCamlplus-squaredev.toMac@programming.dev · 9 months agomessage-square0fedilink
matcha_addict@lemy.lolEnglish · edit-29 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-29 months agomessage-square8fedilink
Mac@programming.dev · 10 months agoConcepts of Functional Programmingplus-squarepriver.devexternal-linkmessage-square1fedilinkarrow-up122arrow-down11
arrow-up121arrow-down1external-linkConcepts of Functional Programmingplus-squarepriver.devMac@programming.dev · 10 months agomessage-square1fedilink
lysdexic@programming.devEnglish · 10 months agoFunctional Classes (2023)plus-squareblog.cleancoder.comexternal-linkmessage-square0fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkFunctional Classes (2023)plus-squareblog.cleancoder.comlysdexic@programming.devEnglish · 10 months agomessage-square0fedilink
Mac@programming.dev · 1 year ago15-150: Principles of Functional Programmingbrandonspark.github.ioexternal-linkmessage-square0fedilinkarrow-up115arrow-down10
arrow-up115arrow-down1external-link15-150: Principles of Functional Programmingbrandonspark.github.ioMac@programming.dev · 1 year agomessage-square0fedilink
Reddit x-poster@infosec.pubB · 1 year agoCreating Your First Haskell Project - Haskell's Tooling Is Good Actuallyplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up114arrow-down10
arrow-up114arrow-down1external-linkCreating Your First Haskell Project - Haskell's Tooling Is Good Actuallyplus-squareyoutu.beReddit x-poster@infosec.pubB · 1 year agomessage-square0fedilink
Reddit x-poster@infosec.pubB · 1 year agoCategory Theory Illustrated – Setsplus-squareabuseofnotation.github.ioexternal-linkmessage-square0fedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkCategory Theory Illustrated – Setsplus-squareabuseofnotation.github.ioReddit x-poster@infosec.pubB · 1 year agomessage-square0fedilink
Reddit x-poster@infosec.pubB · 1 year agoLearn Physics with Functional Programming - A Hands-on Guide to Exploring Physics with Haskellplus-squarenostarch.comexternal-linkmessage-square0fedilinkarrow-up122arrow-down10
arrow-up122arrow-down1external-linkLearn Physics with Functional Programming - A Hands-on Guide to Exploring Physics with Haskellplus-squarenostarch.comReddit x-poster@infosec.pubB · 1 year agomessage-square0fedilink
Reddit x-poster@infosec.pubBEnglish · edit-21 year agoDo your Values align with FP Values?plus-squareyoutu.beexternal-linkmessage-square1fedilinkarrow-up110arrow-down10
arrow-up110arrow-down1external-linkDo your Values align with FP Values?plus-squareyoutu.beReddit x-poster@infosec.pubBEnglish · edit-21 year agomessage-square1fedilink
Reddit x-poster@infosec.pubB · 1 year agoFunctional Configuration - A talk about Dhallplus-squaretill.redexternal-linkmessage-square0fedilinkarrow-up18arrow-down11
arrow-up17arrow-down1external-linkFunctional Configuration - A talk about Dhallplus-squaretill.redReddit x-poster@infosec.pubB · 1 year agomessage-square0fedilink
Reddit x-poster@infosec.pubB · 1 year agoAnti-Instances in Haskellplus-squarewww.heneli.devexternal-linkmessage-square0fedilinkarrow-up17arrow-down13
arrow-up14arrow-down1external-linkAnti-Instances in Haskellplus-squarewww.heneli.devReddit x-poster@infosec.pubB · 1 year agomessage-square0fedilink
Reddit x-poster@infosec.pubB · 1 year agoAn Introduction to Functional Imperative Programming in Scala-inspired Flixplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up113arrow-down10
arrow-up113arrow-down1external-linkAn Introduction to Functional Imperative Programming in Scala-inspired Flixplus-squareyoutu.beReddit x-poster@infosec.pubB · 1 year agomessage-square0fedilink
Reddit x-poster@infosec.pubB · 1 year agoA formal (and executable) specification for the RISC-V ISA (Instruction Set Architecture), written in F# purely functional styleplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up117arrow-down10
arrow-up117arrow-down1external-linkA formal (and executable) specification for the RISC-V ISA (Instruction Set Architecture), written in F# purely functional styleplus-squaregithub.comReddit x-poster@infosec.pubB · 1 year agomessage-square0fedilink
Reddit x-poster@infosec.pubB · 1 year agoVisual Lambda Calculus (playable in browser)plus-squarebntr.itch.ioexternal-linkmessage-square0fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkVisual Lambda Calculus (playable in browser)plus-squarebntr.itch.ioReddit x-poster@infosec.pubB · 1 year agomessage-square0fedilink
