minus-squarekronicmage@lemmy.catoProgrammer Humor@programming.dev•We did this to ourselveslinkfedilinkarrow-up1·1 year agoThis is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf linkfedilink
kronicmage@lemmy.ca to Functional Programming@programming.dev · 1 year agoWhat do people here like better: typed or untyped functional languages?plus-squaremessage-squaremessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareWhat do people here like better: typed or untyped functional languages?plus-squarekronicmage@lemmy.ca to Functional Programming@programming.dev · 1 year agomessage-square0fedilink
kronicmage@lemmy.ca to Neovim@programming.dev · edit-21 year agoI love using Home Manager with Neovimplus-squaremessage-squaremessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareI love using Home Manager with Neovimplus-squarekronicmage@lemmy.ca to Neovim@programming.dev · edit-21 year agomessage-square0fedilink
kronicmage@lemmy.ca to Functional Programming@programming.dev · 1 year agoDoes anyone here use a functional language in their day jobs?plus-squaremessage-squaremessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareDoes anyone here use a functional language in their day jobs?plus-squarekronicmage@lemmy.ca to Functional Programming@programming.dev · 1 year agomessage-square0fedilink
This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf