abstraction.md

• https://www.youtube.com/watch?v=p7nGcY73epw O material deles eh bem legal, tem essa em especifico introduzindo o conceito de abstracao em computacao

• https://www.youtube.com/watch?v=x9pxbnFC4aQ Apresentacoes sobre abstraction, sem muita coisa de programacao especifica, mas bem densa

• https://www.sandimetz.com/blog/2016/1/20/the-wrong-abstraction

• Material do Bret Victor - Recomendo muito esse autor, tem varias apresentacoes legais sobre computacao e aprendizagem:

  • http://worrydream.com/dbx/ (Historia dos computadores e abstracoes criadas)
  • http://worrydream.com/LearnableProgramming/
  • http://worrydream.com/LadderOfAbstraction/
  • https://vimeo.com/115154289
  • https://vimeo.com/36579366

• https://www.silasreinagel.com/blog/2018/10/30/indirection-is-not-abstraction/

• https://xkcd.com/974/ Construcao de abstracoes que funcionam para qualquer condimento

• Exemplo de categorias de abstracaoes usadas por uma linguagem que prioriza criacao de abstracoes matematicas e extremamente genericas (Haskell) https://wiki.haskell.org/File:Typeclassopedia-diagram.png

• https://www.amazon.com/Pragmatic-Programmer-journey-mastery-Anniversary/dp/0135957052 Tem bastante coisa sobre pragmatismo e aprender como criar abstracoes que facam sentido, no momento certo

• Termos cientificos e tecnicas

  • Polymorphism - https://en.wikipedia.org/wiki/Polymorphism_(computer_science)
    • https://en.wikipedia.org/wiki/Parametric_polymorphism
    • https://en.wikipedia.org/wiki/Ad_hoc_polymorphism
    • https://en.wikipedia.org/wiki/Subtyping
    • Monomorphization
  • https://en.wikipedia.org/wiki/Generic_programming
    • Protocol - https://en.wikipedia.org/wiki/Protocol_(object-oriented_programming)
    • Interface - https://en.wikipedia.org/wiki/Interface_(computing)#Software_interfaces_in_object-oriented_languages
    • Subclassing and Inheritance
    • Kind e metaclass