🦞🌯 Lobster Roll

Thread

Type-Safe HTTP Servers in Go via Generics (hypirion.com)
L 9 pts 2 comments by hyPiRion Oct 8, 2021 go thread

Stories related to "Type-Safe HTTP Servers in Go via Generics" across the full archive.

Type-Safe HTTP Servers in Go via Generics (hypirion.com)
L 9 pts 2 comments by hyPiRion Oct 8, 2021 go Programming (General) thread
Type Safe Printf via Type Providers (F#) (blog.mavnn.co.uk)
L 7 pts 0 comments by mavnn May 6, 2014 dotnetprogramming Programming (General) thread
sttp — an open-source library with simple, type-safe API for defining HTTP requests (blog.softwaremill.com)
L 7 pts 0 comments by Mmmary Nov 5, 2019 scala Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Safe and efficient C++ interoperability via non-escapable types and lifetimes (forums.swift.org)
HN 67 pts 47 comments by matt_d Nov 8, 2024 Systems / Low-Level / OS thread
go-safeweb: Secure-by-default HTTP servers in Go (github.com)
L 13 pts 5 comments by bitfield Nov 14, 2024 gosecurityweb Web DevelopmentProgramming (General)Security / Privacy thread
A type-safe, intuitive Go SDK for building MCP servers with ease and confidence (github.com)
HN 38 pts 9 comments by ktr0731 Apr 14, 2025 thread
RapiTapir: Type-Safe HTTP APIs for Ruby (github.com)
HN 1 pts 1 comments by rickydjit Aug 4, 2025 thread
Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com)
HN 1 pts 0 comments by ngrislain Feb 25, 2026 Data / Databases / Infrastructure thread
Type Safety in Five Easy Lemmas (siek.blogspot.com)
L 2 pts 0 comments by inactive-user Aug 25, 2012 compsci Programming Languages / CS Theory thread
Go: using type assertions to safely reach through interface types (utcc.utoronto.ca)
L 5 pts 0 comments by inactive-user Feb 25, 2013 go Programming (General) thread
Making the Mobile Web Safer with HTTPS Everywhere (eff.org)
L 4 pts 12 comments by jcs Feb 4, 2014 androidbrowsersrelease Web Development thread
Single-member structs for type safety in C (spin.atomicobject.com)
L 29 pts 4 comments by vjoel Mar 25, 2014 c Systems / Low-Level / OS thread
Idris: Type safe printf (youtu.be)
L 14 pts 6 comments by puffnfresh Apr 23, 2014 showvideo Programming (General) thread
Spaghetti: Type-safe API for mixing modules written in different compile-to-JS languages (github.com)
L 5 pts 4 comments by zem May 1, 2014 javascriptprogrammingweb Web DevelopmentProgramming (General) thread
Easy type-safe parsing of non-deterministically structured JSON (bitemyapp.com)
L 2 pts 0 comments by bitemyapp May 7, 2014 programming Programming (General)Programming Languages / CS Theory thread
Typesafe Activator - An Update and Roadmap Preview (typesafe.com)
L 1 pts 0 comments by lauris May 18, 2014 scala Programming Languages / CS Theory thread
Using Phantom Types in Haskell for Extra Safety (blog.jakubarnold.cz)
L 18 pts 9 comments by darthdeus Jul 8, 2014 haskellpracticesprogramming Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Using Phantom Types in Haskell for Extra Safety - Part 2 (blog.jakubarnold.cz)
L 13 pts 5 comments by darthdeus Jul 10, 2014 haskellpracticesprogramming Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
What is type safety? (pl-enthusiast.net)
L 14 pts 4 comments by lcapaldo Aug 5, 2014 compsci Programming Languages / CS Theory thread
Six Points About Type Safety (tel.github.io)
L 17 pts 1 comments by tel Aug 8, 2014 compsci Programming Languages / CS Theory thread
Safely Composable Type-Specific Languages (cs.cmu.edu)
L 7 pts 0 comments by animatronic Aug 16, 2014 compscipdfprogramming Programming (General)Programming Languages / CS Theory thread
Typesafe’s Commitment to the Scala Ecosystem (typesafe.com)
L 9 pts 1 comments by lauris Sep 3, 2014 scala Programming Languages / CS Theory thread
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (cs.indiana.edu)
L 10 pts 2 comments by animatronic Sep 13, 2014 compscipdf AI / Machine LearningProgramming Languages / CS Theory thread
Formatting in Haskell (type-safe printf without dependent types) (chrisdone.com)
L 7 pts 1 comments by bitemyapp Sep 22, 2014 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Type-safe transducers in Clojure. And Scala. And Haskell. (blog.podsnap.com)
L 3 pts 0 comments by irrequietus Oct 30, 2014 haskellprogrammingscala Programming (General)Programming Languages / CS Theory thread
You may obviously not agree with the entirety of the content in that post, however I find it interesting that somebody wrote this kind of post so I thought I'd share it with you. Also a request, could we have a clojure tag in lobste.rs ?
Self-Memoizing HTML Rendering via Mutually Recursive Data Types (ocharles.org.uk)
L 10 pts 3 comments by ocharles Nov 12, 2014 haskellprogramming Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Guarantee Authentication via Haskell's Type System (bendyworks.com)
L 9 pts 0 comments by listrophy Dec 15, 2014 apihaskell Programming (General)Programming Languages / CS TheorySecurity / Privacy thread
Pult — Access local HTTP servers on .dev domains (github.com)
L 2 pts 0 comments by causal_agent Jan 2, 2015 javascriptshowweb Web DevelopmentProgramming (General) thread
Type-safe Runtime Code Generation with LLVM (cse.unsw.edu.au)
L 13 pts 0 comments by BruceM Mar 2, 2015 compsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Safe TypeScript: Safe and Efficient Gradual Typing for TypeScript (research.microsoft.com)
L 2 pts 0 comments by joshuacc Mar 11, 2015 javascriptvideo Web Development thread