洪 民憙 (Hong Minhee)@lemmy.mlEnglish · 2 months ago8 months of OCaml after 8 years of Haskell in productionplus-squaredev.toexternal-linkmessage-square1fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link8 months of OCaml after 8 years of Haskell in productionplus-squaredev.to洪 民憙 (Hong Minhee)@lemmy.mlEnglish · 2 months agomessage-square1fedilink
lysdexic@programming.devEnglish · 3 months agoMonad (functional programming) - Wikipediaplus-squareen.wikipedia.orgexternal-linkmessage-square9fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMonad (functional programming) - Wikipediaplus-squareen.wikipedia.orglysdexic@programming.devEnglish · 3 months agomessage-square9fedilink
demesisx@infosec.pubEnglish · 4 months agoLambda Calculus vs. Turing Machines (Theory of Computation)plus-squareyoutu.bevideomessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1videoLambda Calculus vs. Turing Machines (Theory of Computation)plus-squareyoutu.bedemesisx@infosec.pubEnglish · 4 months agomessage-square0fedilink
wargreymon2023@sopuli.xyz · 4 months agoIf "category" has a better name....plus-squaremessage-squaremessage-square3fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareIf "category" has a better name....plus-squarewargreymon2023@sopuli.xyz · 4 months agomessage-square3fedilink
wargreymon2023@sopuli.xyz · 4 months agoIf "category" has a better name....plus-squaremessage-squaremessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareIf "category" has a better name....plus-squarewargreymon2023@sopuli.xyz · 4 months agomessage-square0fedilink
wargreymon2023@sopuli.xyz · 4 months agoUnderstanding the Type of call/ccplus-squarewww.youtube.comvideomessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1videoUnderstanding the Type of call/ccplus-squarewww.youtube.comwargreymon2023@sopuli.xyz · 4 months agomessage-square0fedilink
demesisx@infosec.pubEnglish · 4 months ago"Propositions as Types" by Philip Wadlerplus-squareyoutu.bevideomessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1video"Propositions as Types" by Philip Wadlerplus-squareyoutu.bedemesisx@infosec.pubEnglish · 4 months agomessage-square0fedilink
matcha_addict@lemy.lol · 5 months agoHow to convert imperative side-effectful program to functional (in Ocaml)?plus-squaremessage-squaremessage-square5fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareHow to convert imperative side-effectful program to functional (in Ocaml)?plus-squarematcha_addict@lemy.lol · 5 months agomessage-square5fedilink
ChubakPDP11+TakeWithGrainOfSalt@programming.dev · 5 months agoF# (I think) is of one of few FLs with a super corporation behind it. What can it do because of it?plus-squaremessage-squaremessage-square6fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareF# (I think) is of one of few FLs with a super corporation behind it. What can it do because of it?plus-squareChubakPDP11+TakeWithGrainOfSalt@programming.dev · 5 months agomessage-square6fedilink
amargo85@infosec.pubEnglish · 5 months agoSorting algorithm with javascriptplus-squarechat-to.devexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSorting algorithm with javascriptplus-squarechat-to.devamargo85@infosec.pubEnglish · 5 months agomessage-square0fedilink
mac@programming.dev · 5 months agoHow I learned Haskell in just 15 years - duckrabbit solutionsduckrabbit.techexternal-linkmessage-square1fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHow I learned Haskell in just 15 years - duckrabbit solutionsduckrabbit.techmac@programming.dev · 5 months agomessage-square1fedilink
mac@programming.dev · 5 months agoLearn Lambda Calculus in 10 minutes with OCamlplus-squaredev.toexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLearn Lambda Calculus in 10 minutes with OCamlplus-squaredev.tomac@programming.dev · 5 months agomessage-square0fedilink
matcha_addict@lemy.lolEnglish · edit-25 months agoUsing Ocaml to learn FP. What FP concepts should I touch on?plus-squaremessage-squaremessage-square6fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareUsing Ocaml to learn FP. What FP concepts should I touch on?plus-squarematcha_addict@lemy.lolEnglish · edit-25 months agomessage-square6fedilink
mac@programming.dev · 6 months agoConcepts of Functional Programmingplus-squarepriver.devexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkConcepts of Functional Programmingplus-squarepriver.devmac@programming.dev · 6 months agomessage-square0fedilink
lysdexic@programming.devEnglish · 6 months agoFunctional Classes (2023)plus-squareblog.cleancoder.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkFunctional Classes (2023)plus-squareblog.cleancoder.comlysdexic@programming.devEnglish · 6 months agomessage-square0fedilink
gorpo85@monyet.ccEnglish · 6 months agoCome and see this website made for programmersplus-squarechat-to.devexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkCome and see this website made for programmersplus-squarechat-to.devgorpo85@monyet.ccEnglish · 6 months agomessage-square0fedilink
mac@programming.dev · 7 months ago15-150: Principles of Functional Programmingbrandonspark.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link15-150: Principles of Functional Programmingbrandonspark.github.iomac@programming.dev · 7 months agomessage-square0fedilink
ericjmorey@programming.dev · 8 months agoAnduril Industries is looking for people with experience using typed functional languages - Electronic Warfare Software Engineerplus-squarejobs.lever.coexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkAnduril Industries is looking for people with experience using typed functional languages - Electronic Warfare Software Engineerplus-squarejobs.lever.coericjmorey@programming.dev · 8 months 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-up11arrow-down10
arrow-up11arrow-down1external-linkGopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lostplus-squaregopiandcode.ukericjmorey@beehaw.orgEnglish · 1 year agomessage-square0fedilink
foobarbruh@programming.dev · 1 year agoFearless Tinkering with Nixplus-squarewww.heneli.devexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkFearless Tinkering with Nixplus-squarewww.heneli.devfoobarbruh@programming.dev · 1 year agomessage-square0fedilink