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

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

  1. 3
    Modeling tower of hanoi in linear logic compsci formalmethods plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 8 hours ago | cached | no comments
  2. 46
    Comparing the Same Project in Rust, Haskell, C++, Python, Scala and OCaml c++ compilers haskell ml plt programming python rust scala thume.ca
    faitswulff avatar via faitswulff 26 hours ago | cached | 9 comments
  3. 7
    Adding static type checking to Julia in 100 lines of code plt programming nextjournal.com
    calvin avatar via calvin 4 days ago | cached | no comments
  4. 2
    The Post JavaScript Apocalypse (2017) video compsci plt youtube.com
    jkirchartz avatar via jkirchartz 6 days ago | cached | 1 comment
  5. 21
    SPARK/Ada gets pointer support inspired by the Rust memory model plt rust blog.adacore.com
    ane avatar via ane 9 days ago | cached | 3 comments
  6. 12
    ForML: Iterative Programming with Type Classes and Associated Types ☶ ml plt github.com
    mpcsh avatar authored by mpcsh 10 days ago | cached | no comments
  7. 9
    Programming Languages: Application and Interpretation plt plai.org
    yonkeltron avatar via yonkeltron 10 days ago | cached | 1 comment
  8. 37
    Nim 0.20.0 has been released plt programming release nim-lang.org
    federico3 avatar via federico3 10 days ago | cached | 3 comments
  9. 8
    Ozcor language tries to use records for everything plt github.com
    eterps avatar via eterps 10 days ago | cached | 1 comment
  10. 4
    Writing an Interpreter in SQL for Fun and No Profit! by Michael Malis video plt youtube.com
    aleph avatar via aleph 12 days ago | cached | no comments
  11. 4
    Destructors, 2nd edition — Nim design doc ☶ plt github.com
    akavel avatar via akavel 12 days ago | cached | no comments
  12. 2
    Plasma Language ☶ plt github.com
    vladislavp avatar via vladislavp 13 days ago | cached | no comments
  13. 8
    The Beauty of Numeric Literals in Ada plt adacore.com
    steinuil avatar via steinuil 14 days ago | cached | 4 comments
  14. 19
    How (and why) to build a programming language audio education plt corecursive.com
    adamgordonbell avatar authored by adamgordonbell 15 days ago | cached | 2 comments
  15. 1
    A Conversation with Manfred von Thun (RIP) (2003) apl historical person plt nsl.com
    felixyz avatar via felixyz 15 days ago | cached | 2 comments
  16. 23
    Start With Just a Few Things: Thinking in Lisp lisp plt maxhallinan.com
    maxhallinan avatar authored by maxhallinan 17 days ago | cached | 7 comments
  17. 7
    You don't understand exceptions, but you should plt programming matt.might.net
    andyc avatar via andyc 20 days ago | cached | 9 comments
  18. 23
    Codata in action, or how to connect Functional Programming and Object Oriented Programming haskell plt javiercasas.com
    javcasas avatar authored by javcasas 22 days ago | cached | 5 comments
  19. 7
    DSLs for non-programmers are a hoax plt rant artur-martsinkovskyi.github.io
    calvin avatar via calvin 22 days ago | cached | 3 comments
  20. 8
    Point - An Esoteric Programming Language d plt unlimiter.github.io
    Unlimiter avatar authored by Unlimiter 27 days ago | cached | 9 comments
  21. 6
    Symmetric division considered harmful math plt nimblemachines.com
    WilhelmVonWeiner avatar via WilhelmVonWeiner 27 days ago | cached | 3 comments
  22. 6
    WebAssembly in Redex plt wasm asumu.xyz
    sanxiyn avatar via sanxiyn 28 days ago | cached | no comments
  23. 20
    Linux loader for flat binary (DOS like .COM) files assembly c linux plt tablix.org
    eterps avatar via eterps 1 month ago | cached | 5 comments
  24. 2
    Habitability and Piecemeal Growth book plt practices akkartik.name
    koomi avatar via koomi 1 month ago | cached | no comments
  25. 21
    Java is Unsound: The Industry Perspective (2017) ☶ java plt hackernoon.com
    clrnd avatar via clrnd 1 month ago | cached | no comments
Page 2 >>