🦞🌯 Lobster Roll

Thread

tao: A hobbyist statically-typed functional language (github.com)
L 26 pts 0 comments by technetium Jul 5, 2022 compilersplt thread

Stories related to "tao: A hobbyist statically-typed functional language" across the full archive.

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
Curry - Statically-typed, Functional and Logic Programming Language (www-ps.informatik.uni-kiel.de)
L 6 pts 0 comments by nickpsecurity May 8, 2017 programming Programming (General)Programming Languages / CS Theory thread
Cat: A statically-typed stack-based functional language (github.com)
L 19 pts 0 comments by technetium Feb 24, 2021 plt Programming Languages / CS Theory thread
coalton-lang: a statically typed functional programming language that supercharges Common Lisp (github.com)
L 15 pts 1 comments by vindarel Nov 12, 2021 lisp Programming (General)Programming Languages / CS Theory thread
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
Statically Typed Functional Programming with Python 3.12 (wickstrom.tech)
L 53 pts 20 comments by owi May 23, 2024 python Programming (General)Programming Languages / CS Theory thread
Statically typed functional programming with Python 3.12 (wickstrom.tech)
HN 3 pts 1 comments by fanf2 Oct 7, 2024 Programming (General) thread
SATySFi: A statically-typed, functional typesetting system (github.com)
L 10 pts 1 comments by agnishom Jun 23, 2025 programming Programming (General) thread
SATySFi: A statically-typed, functional typesetting system (github.com)
HN 2 pts 0 comments by Bogdanp Jun 23, 2025 thread
Granule – A statically-typed linear functional language with graded modal types (github.com)
HN 2 pts 0 comments by aziis98 Dec 20, 2025 thread
Granule, a statically-typed linear functional language with graded modal types (github.com)
L 25 pts 4 comments by aziis98 Dec 20, 2025 plt Programming Languages / CS Theory thread
Granule, a statically-typed linear functional language with graded modal types (github.com)
HN 1 pts 0 comments by birdculture Dec 24, 2025 thread
Coalton: Efficient, statically typed functional programming language (github.com)
HN 1 pts 0 comments by tosh Feb 25, 2026 Programming (General)Programming Languages / CS Theory thread
Purescript - small strongly, statically typed compile-to-JS language (functorial.com)
L 7 pts 0 comments by puffnfresh Oct 30, 2013 javascript Web Development thread
PureScript: a statically typed language which compiles to JavaScript (github.com)
L 15 pts 8 comments by wting Sep 23, 2014 javascript Web Development thread
Purely Functional 3D in Typed Racket (youtube.com)
L 14 pts 1 comments by michaelsbradleyjr Sep 29, 2014 lispprogrammingvideo Programming (General)Programming Languages / CS Theory thread
Will Ruby 3.0 be Statically Typed? (omniref.com)
L 14 pts 14 comments by kellogh Nov 20, 2014 ruby Programming (General)Programming 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
In the Age of Web: Typed Functional-First Programming Revisited (arxiv.org)
L 4 pts 0 comments by pushcx Dec 13, 2015 compscidotnetpdfweb Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Little: statically typed, C-like scripting language. (little-lang.org)
L 16 pts 5 comments by wscott Apr 19, 2016 programmingrelease Programming (General) thread
Carp, a statically typed lisp, without a GC (github.com)
L 35 pts 3 comments by unbalancedparentheses Jun 8, 2016 lisp Programming Languages / CS Theory 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
Statically typed PostgreSQL queries in TypeScript (cs.mcgill.ca)
L 8 pts 1 comments by pushcx Mar 18, 2017 databasesjavascript Web DevelopmentData / Databases / Infrastructure thread
Domain Driven Design and typed functional programming in TypeScript (dailydrip.com)
L 13 pts 2 comments by franzunix Jun 27, 2017 javascriptprogrammingweb Web DevelopmentProgramming (General)Programming Languages / CS TheoryDesign / UX / Visualization thread
Rezoom.SQL: an F# ORM for statically typed SQL queries (github.com)
L 5 pts 0 comments by pushcx Aug 18, 2017 databasesdotnetrelease Programming (General)Data / Databases / Infrastructure thread
Can you write correct software in a statically typed language? (drmaciver.com)
L 22 pts 14 comments by fcbsd Feb 11, 2018 programming Programming (General) thread
Unifying Analytic and Statically-Typed Quasiquotes (infoscience.epfl.ch)
L 4 pts 0 comments by nickpsecurity Mar 26, 2018 pdfpltscala Programming Languages / CS Theory thread
Abstract: "Metaprograms are programs that manipulate (generate, analyze and evaluate) other programs. These tasks are greatly facilitated by quasiquotation, a technique to construct and deconstruct program fragments using quoted code templates expressed in the syntax of the manipulated language. We ...
A statically typed lisp, without a GC, for real-time applications (github.com)
L 20 pts 5 comments by Yogthos Apr 13, 2018 lispprogramming Programming (General)Programming Languages / CS Theory thread
A Purely Functional Typed Approach to Trainable Models (Differentiable Programming in Haskell) (blog.jle.im)
L 13 pts 0 comments by jle May 14, 2018 aihaskell AI / Machine LearningProgramming (General)Programming Languages / CS Theory thread
Three-part series about differentiable programming applied to machine learning in a purely functional typed setting, and the benefits of this combination.
Hazel, a live functional programming environment featuring typed holes. (hazel.org)
L 35 pts 0 comments by river Jul 6, 2018 pltprogramming Programming (General)Programming Languages / CS Theory thread