I built a browser-based REPL for Coalton, a statically typed Lisp dialect that merges Haskell’s type system with Common Lisp.<p>Coalton gives you:
- Algebraic data types, pattern matching, static guarantees
- Full interoperability with dynamic Lisp functions<p>Demo & examples: <a href="https:&#x...
Thread
Stories related to "Show HN: Coalton Playground – Type-Safe Lisp in the Browser" across the full archive.
I built a browser-based REPL for Coalton, a statically typed Lisp dialect that merges Haskell’s type system with Common Lisp.<p>Coalton gives you:
- Algebraic data types, pattern matching, static guarantees
- Full interoperability with dynamic Lisp functions<p>Demo & examples: <a href="https:&#x...
Check out my side project [https://domainregret.com/]. This is a marketplace for when you have domains you've been sitting on for a while that totally sounded like a good idea at 2am and you were a tad bit drunk but now you're not so certain. I'm trying to work out the kinks and get some feedback!
Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp
(coalton-lang.github.io)
I found the officially recommended GraphQL client for the GitHub v4 API to be difficult to work with, so I created my own using genql and am releasing it as a standalone package.<p>It is end-to-end type safe so you get functional intellisense and linting for both the input GraphQL query format as we...
Next.js has APIs to read and update search params (the /?foo=bar part of the URL), but they lack type-safety for consistent keys and proper parsing/serializing of JS data types. I found myself repeatedly building the same custom hook to get a React.useState-like approach. In 2021, I publis...
Manifold SQL[1] is a compiler plugin that lets you write _native_ SQL directly and type-safely in your Java code.<p>- Query types are instantly available as you type native SQL of any complexity in your Java source<p>- Query results are type-safe and API-rich and simple to use<p>- Entity types are a...
Hey there. We built the ZenStack open-source TypeScript toolkit on top of Prisma ORM. It adds an Authorization layer to the schema and then automatically generates both APIs and frontend hooks for you. You can choose whatever frontend framework, like React, Vue, or Svelte, and the full-stack framew...
We are excited to announce the release of Stricli, a new framework for developing command line applications with TypeScript.<p>Check out the release post to find out _why_. We’ll be here to answer any questions!
SchemQl is a lightweight TypeScript library that enhances your SQL workflow by combining raw SQL with targeted type safety and schema validation. It simplifies SQL usage in TypeScript by offering two main features:<p><pre><code> - Robust Query Validation: Ensures the integrity of your query param...
Ok, so I've heard the voice of community and added null support and dropped const enums. Also you can fetch all scalar fields with "fields" selector.
sqlc (<a href="https://sqlc.dev/" rel="nofollow">https://sqlc.dev/</a>) is amazing, but I needed to use it in several unsupported languages. So instead of creating a plugin for each of those languages, I created a generic one, which is based on go templates.
Hello HN,<p>I Introduce a library of type-safe URL builder that can be used in the Blazor project.
Blazor is a cool technology that makes it easy for anyone to write modern web in C#, but I found it lacking in features around URLs.<p>Similar projects already exist, but this library is<p>* Compatible...
Hey all, I just released v1.0.0 of my error handling library ts-error-tuple (<a href="https://github.com/adamhl8/ts-error-tuple">https://github.com/adamhl8/ts-error-tuple</a>). Now you can add arbitrary context data to your errors.<p>If prefer the error handli...
This is the first public library I've written - let me know if I've inevitably messed something up here.<p>In short, this JS library allows you to quickly compute functions in a separate thread like so:<p>```<p>const result = runWithWorker(() => 1 + 1);
// TypeScript knows thi...