Stories tagged as plt Programming language theory, types, design

Most often also tagged with compilers rust formalmethods haskell lisp javascript ml compsci

  1. 10
    Building a Programming Language in Twenty-Four Hours plt ersei.net
    eBPF avatar authored by eBPF 6 hours ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 104
    The Rust I Wanted Had No Future plt rust graydon2.dreamwidth.org
    matklad avatar via matklad 14 hours ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
  3. 25
    DreamBerd: perfect programming language plt satire github.com
    hwayne avatar via hwayne 22 hours ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  4. 9
    Higher-Order, Data-Parallel Structured Deduction pdf performance plt arxiv.org
    janus avatar via janus 31 hours ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 10
    Implementing Co, a Small Language With Coroutines #4: Adding Channels compilers haskell plt abhinavsarkar.net
    abhin4v avatar authored by abhin4v 2 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  6. 11
    The Expressivity Limitations of Object-Oriented Programming philosophy plt two-wrongs.com
    kqr avatar authored by kqr 2 days ago |
    Archive.org Archive.today Ghostarchive
    | 25 comments
  7. 18
    What Vale Taught Me About Linear Types, Borrowing, and Memory Safety plt verdagon.dev
    Verdagon avatar authored by Verdagon 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  8. 10
    Does a programming language with ML-style modules need packages? compsci plt softwareengineering.stackexchange.com
    Corbin avatar authored by Corbin 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  9. 2
    The Gateway Pattern plt mattbrictson.com
    krapans avatar via krapans 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 9
    I think I finally “get” JS objects javascript plt dev.to
    carlmjohnson avatar via carlmjohnson 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  11. 5
    Language Pragmatics Engineering plt borretti.me
    davish avatar via davish 6 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 20
    GraphQL and Type Systems api plt hypirion.com
    hyPiRion avatar authored by hyPiRion 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  13. 10
    A story about one refactoring of the parser grammar in IntelliJ-AWK plt programming maximullaris.com
    xonix avatar authored by xonix 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  14. 7
    Flux -- Liquid Types for Rust video plt rust youtube.com
    5d22b avatar via 5d22b 10 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 59
    SectorC: A C Compiler in 512 bytes c compilers plt xorvoid.com
    halosghost avatar via halosghost 11 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  16. 27
    The State Of Garnet, 2023 plt wiki.alopex.li
    icefox avatar authored by icefox 11 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  17. 3
    Scryer Prolog Meetup 2023 event plt hsd-pbsa.de
    aarroyoc avatar via aarroyoc 12 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 35
    Gleam v0.29 - Gleam gets autocompletion erlang plt release gleam.run
    lpil avatar authored by lpil 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  19. 17
    ПП-BESM - a Soviet PL historical plt xav.io
    alexkorban avatar via alexkorban 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  20. 12
    Beyond Relooper: recursive translation of unstructured control flow to structured control flow pdf compilers plt dl.acm.org
    Corbin avatar via Corbin 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  21. 5
    Giving, lending, and async closures plt rust smallcultfollowing.com
    5d22b avatar via 5d22b 17 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 4
    The Future of Programming audio ai haskell ml plt signalsandthreads.com
    toastal avatar via toastal 17 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 7
    Deco: Delimiter Collision Free Format plt github.com
    prussian avatar via prussian 18 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  24. 5
    Wyvern: A Language for Usable Design Driven Assurance (2017) plt security github.com
    5d22b avatar via 5d22b 18 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  25. 49
    "Where have all the hackers gone?" + a way to discuss programming languages culture plt morepablo.com
    srpablo avatar authored by srpablo 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 36 comments

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

Page 2 >>