Stories tagged as plt – Programming language theory, types, design

Tip: read stories across multiple tags with /t/tag1,tag2

  1. 12
    The Newton Application Architecture pdf historical plt waltersmith.us
    enkiv2 avatar via enkiv2 16 hours ago | cached | 2 comments
  2. 13
    SwiftUI defaults considered harmful plt rant swift tonsky.me
    calvin avatar via calvin 2 days ago | cached | 2 comments
  3. 26
    Agda vs. Coq vs. Idris formalmethods plt whatisrt.github.io
    calvin avatar via calvin 4 days ago | cached | 7 comments
  4. 61
    Programmer's critique of missing structure of operating systems osdev plt kitakitsune.org
    Bystroushaak avatar authored by Bystroushaak 5 days ago | cached | 24 comments
  5. 34
    C++20 is Done c++ plt reddit.com
    mempko avatar via mempko 8 days ago | cached | 19 comments
  6. 28
    Time safety is more important than memory safety plt halestrom.net
    Hales avatar authored by Hales 11 days ago | cached | 53 comments
  7. 12
    How to start using Python Type Annotations with Mypy plt python stackbuilders.com
    juanpaucar avatar via juanpaucar 11 days ago | cached | 1 comment
  8. 3
    Introduction to Interscript (1985) pdf plt web bitsavers.informatik.uni-stuttgart.de
    breck avatar via breck 12 days ago | cached | no comments
  9. 15
    All Programming Languages are Wrong plt users.rcn.com
    GeoffWozniak avatar via GeoffWozniak 13 days ago | cached | 20 comments
  10. 3
    What would you pay for type checking? performance plt blog.noredink.com
    hwayne avatar via hwayne 13 days ago | cached | no comments
  11. 7
    The Encyclopedia of Computer Languages historical plt web.archive.org
    zge avatar via zge 15 days ago | cached | 1 comment
  12. 31
    Static v. dynamic languages (2014) plt danluu.com
    friendlysock avatar via friendlysock 15 days ago | cached | 22 comments
  13. 22
    Why Dhall advertises the absence of Turing-completeness plt haskellforall.com
    calvin avatar via calvin 15 days ago | cached | 14 comments
  14. 7
    druid: Failing to parse Elixir with Megaparsec elixir haskell plt evuez.github.io
    friendlysock avatar via friendlysock 16 days ago | cached | no comments
  15. 4
    You Could Have Invented Monads! (And Maybe You Already Have.) (2006) haskell plt blog.sigfpe.com
    calvin avatar via calvin 18 days ago | cached | no comments
  16. 42
    The First Time SICP Blew My Mind book plt ahuth.github.io
    ahuth avatar authored by ahuth 18 days ago | cached | 28 comments
  17. 14
    A Survey of Object-Oriented Forths (1996) historical plt programming bradrodriguez.com
    calvin avatar via calvin 18 days ago | cached | 4 comments
  18. 44
    ZZ is a modern formally provable dialect of C c formalmethods plt github.com
    sanxiyn avatar via sanxiyn 18 days ago | cached | 22 comments
  19. 11
    Demystifying a TypeScript quirk javascript plt matthewmiller.dev
    calvin avatar via calvin 19 days ago | cached | 1 comment
  20. 5
    Writing a DSL in Lua lua plt leafo.net
    Sietsebb avatar via Sietsebb 21 days ago | cached | 1 comment
  21. 5
    Developing GHC for a Living. Interview with Vladislav Zavialov compilers haskell plt serokell.io
    srid avatar via srid 24 days ago | cached | 1 comment
  22. 2
    Type Equality in LLVM c plt lowlevelbits.org
    mooreds avatar via mooreds 26 days ago | cached | no comments
  23. 21
    Dependent type systems as macros lisp plt dl.acm.org
    WilhelmVonWeiner avatar via WilhelmVonWeiner 26 days ago | cached | 2 comments
  24. 14
    Undergrad Compilers from the Hive Mind compilers plt eschew.wordpress.com
    agent281 avatar via agent281 27 days ago | cached | 4 comments
  25. 12
    Hacking on Clang is surprisingly easy c++ compilers plt mort.coffee
    mort avatar authored by mort 27 days ago | cached | no comments
Page 2 >>