plt

Programming Language Theory λΠ (by steshaw)

Plt Alternatives

Similar projects and alternatives to plt

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better plt alternative or higher similarity.

plt reviews and mentions

Posts with mentions or reviews of plt. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-02-26.
  • Ask HN: Learning Modern Compilers?
    1 project | news.ycombinator.com | 12 Jun 2023
    I recall reading a comment on here at some point in the last year where someone who worked on a team that wrote compilers lamented the difficulty in hiring qualified people because the practice of compiler construction differs so wildly from what is taught in school or even most compiler books. Apparently it scarcely resembles what is taught in university courses based on the Dragon book or similar, both in the higher level architecture and the lower level techniques

    I know that one difference is that compilers have adopted a more service-oriented architecture, kind of like the Roslyn compiler. This allows them to not only compile your code, but inform your text editor and linter and similar tooling of syntax issues incrementally.

    What are other differences? Is llvm still relevant outside of academia?

    Are there any books, papers, or open source projects one could study to learn how compilers are built in this day and age?

    Also: does the more abstract "programming language theory" popular in the more formal functional programming world (e.g. denotational semantics, lambda calculus, Floyd-Hoare logic, type theory, etc: this sort of stuff[1]) have any relevance to compiler writers and language/language tooling developers in industry?

    [1] https://steshaw.org/plt/

  • What are some evergreen articles on programming languages and computing in general?
    1 project | /r/ProgrammingLanguages | 19 Mar 2023
  • What Books Should Everyone Read?
    1 project | news.ycombinator.com | 21 Oct 2021
  • Programming related book suggestions please
    1 project | /r/learnprogramming | 18 Oct 2021
    Programming Language Theory books and resources
  • CSS Deep
    2090 projects | dev.to | 26 Feb 2021
    steshaw/plt - A path to Programming Language Theory enlightenment
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 25 Apr 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Stats

Basic plt repo stats
5
5,126
6.3
9 months ago

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com