fp   8844

« earlier    

[no title]
Had a great time at the #dagstuhl seminar on algebraic effects this week! Since I was surrounded by veteran FP (mostly Haskell) researchers & practitioners, I asked them to challenge my biases against more extreme forms of FP, such as Monads and category-driven design. Thread!
scala  fp 
10 days ago by theiw
[no title]
Imagine my surprise when all agreed monad transformers are (at best) hard to use correctly in practice: they don't compose, and easily lead to unmaintainable code. When asked what they are good for, my fave answer was "I'm not sure monad transformers are good even for Haskell."
scala  fp 
10 days ago by theiw

« earlier    

related tags

!basic  &didactic  &metaphor  &method  algebraic  alternative  apl  argent  array  arrays  article  backbone  beauty  bitcoin  blockchain  book  books  brilliant  business  category_theory  cc  clojure  code  comphist  composition  compte  computer  conseiller  conso  continuation  courtage  courtier  craft  criteo  cronycapitalism  cs  dafny  daggy  danabramov  datastructure  debate  decode  dependent-types  dev  development  differences  dl  door  dotnet  ebook  economics  editor  edu  elixirlang  encode  ericelliott  erlang  es6  escompte  fc  fcp  flux  fnb  fondscommuns  formal-methods  formal  free  function  functional  functionalprogramming  functor  github  habitation  hashes  haskell  history  hypothèque  idiom  immobilier  immutable  imperative  investing  investissement  java  javascript  jobs  js  key  language  later  learn  learning  libraries  library  lisp  map  math  maybe  memory  military  ml  monad  monads  newbie  objectorientedprogramming  oo  oop  overview  pap  papers  pdf  proglang  programming  proof  proofs  prover  putin  python  quickcheck  racket  rant  rc  react  reactive  redux  ref  reference  repl  robertmartin  robot  ruby  russia  rust  scala  scheme  science  shells  software  solution  sum-type  swift  syntax  talk  teaching  testing  theorem  theory  tla  tools  toread  twitter  types  typescript  union-type  ussr  verification  vid  video  whiley 

Copy this bookmark:



description:


tags: