data-structures   2861

« earlier    

Zippers for non-inductive types
Famous mathematician-philosoper Gian-Carlo Rota said that mathematical understanding is all about showing how things that seem different are essentially the same. If that is true, then functional programming is something that we understand quite well.
functional-programming  data-structures  logic  type-theory 
19 days ago by doneata

« earlier    

related tags

****  abstraction  algorithm  algorithmic  algorithms  algoritms  apter  autodidact  bcantrill  benchmark  blog  bloom-filter  book  books  c++  c-lang  c  c11  c99  clang  clojure  code  coding  collaborative-systems  comparison  compiler  compilers  complexity  composition-decomposition  compress  computational-complexity  computer-science  computer_science  computerscience  concurrency  consistency  cool  course  crdt  crdts  cs  csv  data  database  databases  datastructures  design-patterns  design  dev  development  distcomp  distributed-systems  distributed  ds  ecs  elixir  entity-component-system  explanation  filter  fp  functional-programming  functional  game-dev  game_development  games  garbage-collection  gcc  geo  github  go-lang  golang  graph-theory  graph  hacker-news-comments  hash  hashing  hashmap  haskell  hierarchical  ifttt  interview  interviewing  ios  iosdev  jacardi  java  javascript  learning  library  logic  lower-bounds  memory-management  minhash  nibble  ocaml  operational-transform  optimization  orders  overflow  paper  pdf  performance  probability  prod  programming  python  q-lang  q-n-a  range  rather-interesting  read2of  red-black-trees  reference  ring-buffer  ruby  rust  sage  scale  sedjewick  software-development  software  soroush-khanlou  spatial-search  spatial  structure  structures  succinct  swift  syntax  systems-programming  tcs  text-editor  tightness  tip-of-tongue  to-understand  tree  trees  tries  type-theory  visualisation  visualization  zip  zippers 

Copy this bookmark:



description:


tags: