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

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

  1. 1
    Programming with Generators ☶ pdf compsci plt programming academic.oup.com
    vrthra avatar via vrthra 7 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 1
    Lambda Calculus: an Elm CLI elm plt release jxxcarlson.medium.com
    adamshaylor avatar via adamshaylor 25 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 16
    Destroy All Values: Designing Deinitialization in Programming Languages plt gankra.github.io
    pushcx avatar via pushcx 2 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 3
    FreeM - An Open Source Implementation of the M Programming Language compilers databases plt freem.coherent-logic.com
    lorddimwit avatar via lorddimwit 2 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 35
    Why Static Languages Suffer From Complexity plt hirrolot.github.io
    Hail_Spacecake avatar via Hail_Spacecake 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 48 comments
  6. 10
    Programming language evolution: with all that, we are still flying philosophy plt ruby zverok.substack.com
    zverok avatar authored by zverok 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  7. 18
    FLENG Version 9 now available plt programming release call-with-current-continuation.org
    bunny351 avatar authored by bunny351 7 days ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  8. 9
    Cicada Language: a dependently typed language and an interactive theorem prover plt cicada-lang.org
    pushcx avatar via pushcx 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 4
    Introducing Visual and Interactive-Syntax realized (VISr) for ClojureScript (and JavaScript) plt prl.ccs.neu.edu
    gasche avatar via gasche 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 2
    C# and C++ type aliases and their consequences c++ dotnet plt devblogs.microsoft.com
    calvin avatar via calvin 8 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 3
    OneLang IDE/programming language/transpiler hybrid compilers plt github.com
    zverok avatar via zverok 9 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 3
    The Cofree Coffee Cast --- a new podcast interviewing the FP community, hosted by Sandy Maguire audio haskell plt anchor.fm
    solomon avatar via solomon 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  13. 16
    The λ-cube plt en.wikiversity.org
    srid avatar via srid 11 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 5
    A History of Compiling Ruby video plt ruby youtube.com
    zverok avatar via zverok 11 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 21
    Functional Programming in Idris 2 book plt github.com
    srid avatar via srid 13 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 12
    Following the programming language evolution, and taking it personally philosophy plt ruby zverok.substack.com
    zverok avatar authored by zverok 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  17. 11
    How Factor implements closures plt factor-language.blogspot.com
    jmiven avatar via jmiven 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 6
    C++ Concepts vs Rust Traits vs Haskell Typeclasses vs Swift Protocols - Conor Hoekstra - ACCU 2021 ☶ video c++ d haskell plt rust swift youtube.com
    idrougge avatar via idrougge 13 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 6
    Rethinking errors, warnings, and lints plt practices neugierig.org
    carlmjohnson avatar via carlmjohnson 13 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 49
    v0.19 of Gleam, a type safe language for the Erlang VM, is out erlang plt release gleam.run
    lpil avatar authored by lpil 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  21. 36
    Data-Oriented Programming is dope plt programming python dev.to
    johnnoone avatar authored by johnnoone 14 days ago |
    Archive.org Archive.today Ghostarchive
    | 17 comments
  22. 6
    ink - inkle's narrative scripting language games plt inklestudios.com
    yonkeltron avatar via yonkeltron 15 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 9
    Chemical Computing with Clojure clojure plt programming gigasquidsoftware.com
    imode avatar via imode 17 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 27
    Memory Management transcript compilers ml plt signalsandthreads.com
    yminsky avatar authored by yminsky 17 days ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  25. 6
    A Forth interpreter, entirely written as bash script plt github.com
    eatonphil avatar via eatonphil 18 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>