🦞🌯 Lobster Roll

Thread

Well-typed printfs cannot go wrong (kcsongor.github.io)
L 4 pts 0 comments by friendlysock Sep 27, 2017 compilersformalmethods thread

Stories related to "Well-typed printfs cannot go wrong" across the full archive.

Well-typed printfs cannot go wrong (kcsongor.github.io)
L 4 pts 0 comments by friendlysock Sep 27, 2017 compilersformalmethods Systems / Low-Level / OSProgramming Languages / CS Theory thread
InfraRuby is a compiler and runtime for statically typed Ruby. (infraruby.com)
L 8 pts 4 comments by julienxx Mar 8, 2015 compilersjavaruby Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
A Tiny Compiler For A Typed Higher Order Language (jozefg.bitbucket.org)
L 14 pts 1 comments by jozefg Mar 24, 2015 compilershaskell Systems / Low-Level / OSProgramming Languages / CS Theory thread
Dependently Typed Racket (Informal Preview) (youtube.com)
L 21 pts 0 comments by BruceM Apr 18, 2015 compilerscompscilispprogrammingvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Large-scale, well-typed edits in Unison (unisonweb.org)
L 11 pts 0 comments by sanxiyn Jun 19, 2015 compsci Programming Languages / CS Theory thread
Pi-Forall: How to use and implement a dependently-typed language (youtube.com)
L 11 pts 1 comments by pushcx Dec 28, 2015 compilerscompscivideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
Rhine – A typed Elixir-inspired language on LLVM (github.com)
L 7 pts 2 comments by artagnon Mar 20, 2016 ccompilerscompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Trill: A typed, LLVM-backed compiler, inspired by (and written in) Swift (github.com)
L 10 pts 0 comments by harlanhaskins Aug 27, 2016 compilersswift Systems / Low-Level / OSProgramming Languages / CS TheoryApple / macOS / iOS thread
Functional IoT - Connect things by well-typed bridge. (Embedded ATS!) (fpiot.metasepi.org)
L 4 pts 1 comments by bsima Mar 8, 2017 hardwarehaskellrust Systems / Low-Level / OSProgramming Languages / CS TheoryMaker / DIY / Hardware thread
Metasepi has been [discussed before](https://lobste.rs/search?utf8=%E2%9C%93&q=metasepi&what=all&order=relevance) here, but I haven't seen FPIoT mentioned yet. The sheer geekiness of programming an Arduino with ATS makes me giddy
Typed Assembly Language (1998) (cs.cornell.edu)
L 12 pts 6 comments by nickpsecurity May 29, 2017 compilerscompsciformalmethodsprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
DynamicML - A Dynamically-Typed Version of SML/NJ (2012) (zerny.dk)
L 13 pts 4 comments by nickpsecurity Jul 16, 2017 compilerscompscimlprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Applying Optimizations for Dynamically-typed Languages to Java (ssw.uni-linz.ac.at)
L 2 pts 0 comments by calvin Aug 24, 2017 compilersjavapdfperformance Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Implementing and Optimizing a Simple, Dependently-Typed Language (2010) (publications.lib.chalmers.se)
L 10 pts 5 comments by nickpsecurity Feb 12, 2018 compilershaskellpdfplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Original [version](https://www.andres-loeh.de/LambdaPi/) of LambdaPi. A reorganization of that [here](https://github.com/ilya-klyuchnikov/lambdapi). Code for this one is [here](https://archives.haskell.org/code.haskell.org/LambdaPiC/).
Rust compiler cannot be built without test failures on Debian and Fedora (salsa.debian.org)
L 26 pts 11 comments by JordiGH Jul 30, 2018 compilersrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Perl Cannot Be Parsed: A Formal Proof (2008) (perlmonks.org)
L 9 pts 1 comments by zge Feb 28, 2019 compilersperl Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Squee: A Typed, Composable Database Query Language (github.com)
L 22 pts 5 comments by kpm Feb 28, 2020 compilersdatabasesprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Neut - A dependently-typed programming language with static memory management (github.com)
L 33 pts 0 comments by sulami May 23, 2020 compilerslisp Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Typedefs (typedefs.com)
L 3 pts 1 comments by bshanks Nov 2, 2020 apicompilerscompsciformalmethodspltprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Fast and Effective Optimization of Statically Typed Object-Oriented Languages (1997) (www2.eecs.berkeley.edu)
L 3 pts 0 comments by dbremner Aug 26, 2021 compilerspdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
In this dissertation, we show how a relatively and extremely fast interprocedural optimization algorithm can be used to optimize many of the expensive features of statically typed object-oriented languages - in particular, C++ and Java. We present a new program analysis algorithm, Rapid Type Ana...
gocaml: Practical statically typed functional programming language implementation with Go and LLVM (github.com)
L 11 pts 4 comments by technetium Mar 27, 2022 compilersgoml Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
tao: A hobbyist statically-typed functional language (github.com)
L 26 pts 0 comments by technetium Jul 5, 2022 compilersplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
BUSY - a lean, statically typed, cross-platform build system for GCC, CLANG and MSVC (github.com)
L 6 pts 0 comments by Rochus Aug 12, 2022 cc++compilersdevopsprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
lambda-8cc: An x86 C compiler written in untyped lambda calculus (github.com)
L 25 pts 2 comments by woodrush Oct 6, 2022 ccompilers Systems / Low-Level / OSProgramming Languages / CS TheoryScience / Math / Physics thread
nuance: Nim untyped AST node generation at runtime with custom line info (github.com)
L 5 pts 2 comments by snej Jun 2, 2023 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Compiling typed Python (bernsteinbear.com)
L 0 pts 3 comments by hyperpape Jun 20, 2023 compilerspython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Flunct: Well-typed, fluent APIs in SML (github.com)
L 2 pts 1 comments by jez Jun 25, 2023 plt Programming Languages / CS Theory thread
What's the smallest statically typed language implemented in itself? (old.reddit.com)
L 18 pts 19 comments by andyc Aug 26, 2023 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
The Ezra Klein Show: Interview with Jennifer Pahlka about where government policy implementation goes wrong (and why government doesn't always work well) (nytimes.com)
~ 7 pts 1 comments by unknown Sep 8, 2023 ~society Productivity / Career / BusinessCulture / Philosophy / History / Reading thread
Make Your Self: In Search for Maxwell's equations of OOP (marianoguerra.org)
L 13 pts 10 comments by marianoguerra Jun 20, 2024 compilersplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Standard's AI imitation of Brian Sewell proves art critics cannot be replaced (theguardian.com)
HN 3 pts 0 comments by Mgtyalx Sep 26, 2024 AI / Machine Learning thread