#PureScript
𝗣𝘂𝗿𝗲𝗦𝗰𝗿𝗶𝗽𝘁

PureScript is a strongly-typed functional programming language that compiles to JavaScript

https://thewhale.cc/posts/purescript

#JS #FunctionalPrograming
PureScript
PureScript is a strongly-typed functional programming language that compiles to JavaScript
thewhale.cc
November 7, 2026 at 7:03 AM
@julesh I still wish Idris or Purescript was non-strict by default. But, for my purposes, I almost always want to be writing in one of them instead of Haskell.

I'm also unhappy with generative AI with uncertain copyright provenance* being accepted into Free Software, in particular GHC. So, I've […]
Original post on hachyderm.io
hachyderm.io
November 4, 2026 at 11:45 PM
Our PureScript transaction builder takes a list of steps (spend, pay, mint, vote) and turns it into a transaction. v4 can spend datum-less V3 outputs (CIP-69).

github.com/mlabs-haskel... #PureScript #FunctionalProgramming
GitHub - mlabs-haskell/purescript-cardano-transaction-builder: Declarative transaction builder API for cardano-transaction-lib
Declarative transaction builder API for cardano-transaction-lib - mlabs-haskell/purescript-cardano-transaction-builder
github.com
November 3, 2026 at 4:10 PM
2026-10-30 | 🃏 Bots ⚓ Stay ↔️ State by 🤖 Upgrading and 🏁 Finishing 📚 Manual, 🔄 Syncing 🧠 Mental 💡 Understanding to ⚡ Brake 📰 Toll for 🌟 Progress, a 🐔 Reflection of ⚛️ Synthesis 💑 Beyond 🏛️ Policy. 🤖📺⚡🌟📰🐔🏛️💑🔄

#AI Q: 🤖 Trust bots to fix?
https://bagrounds.org/reflections/2026-10-30
2026-10-30 | 🃏 Bots ⚓ Stay ↔️ State by 🤖 Upgrading and 🏁 Finishing 📚 Manual, 🔄 Syncing 🧠 Mental 💡 Understanding to ⚡ Brake 📰 Toll for 🌟 Progress, a 🐔 Reflection of ⚛️ Synthesis 💑 Beyond 🏛️ Policy. 🤖📺⚡🌟📰🐔🏛️💑🔄
🤖 AI Blog; 2026-03-14 | 🚀 Upgrading PureScript - From 0.14 to 0.15 in a Card Game Engine 🤖; 2026-03-15 | 🤖 Teaching Bots to Play Domination - AI Players with Big Money and Random Strategies 🃏; 2026-03-15 | 🏗️ Separating Ephemeral UI State from Serializable Game State in Halogen; 2026-10-30 | 🤖 Finishing the Bot Players - Undo-Friendly Turns, Tidy Settings, and a Supply That Remembers 🃏; 2026-10-30 | 💬 Tooltips That Stay on Screen - and on Their Card ⚓; 2026-10-30 | 🃏 Syncing Domination AI Blog Posts 🤖; 📺 Videos; 🏗️🤖🛠️ Building Great Agent Skills: The Missing Manual; 🧬🥗🧠 Gut Expert: Eating these 3 foods could improve your mental health | Tim Spector: Full Interview; 🏛️🇺🇸🤝 Understanding the ...
bagrounds.org
November 1, 2026 at 7:15 AM
flake-lang.nix is our Nix tooling for polyglot repositories. Its example flakes build Haskell, Rust, PureScript and TypeScript projects, Rust cross-compilation included.

github.com/mlabs-haskel... #Nix #Rust
GitHub - mlabs-haskell/flake-lang.nix: Nix tools powering polyglot repositories
Nix tools powering polyglot repositories. Contribute to mlabs-haskell/flake-lang.nix development by creating an account on GitHub.
github.com
October 28, 2026 at 7:45 PM
I tried it with PureScript bsky.app/profile/tsir...
treating CI/CD pipelines as typed functional programs, rather than configuration files
October 28, 2026 at 11:03 AM
LambdaBuffers generates types for Rust, Haskell, PureScript and TypeScript from one schema. That includes parameterized (generic) types, which Protocol Buffers and JSON Schema can't express.

github.com/mlabs-haskel... #Rust #Haskell
GitHub - mlabs-haskell/lambda-buffers: LambdaBuffers toolkit for sharing types and their semantics between different languages
LambdaBuffers toolkit for sharing types and their semantics between different languages - mlabs-haskell/lambda-buffers
github.com
October 23, 2026 at 3:00 PM
no, I am pro-println! printf-debugging is generally how i debug my haskell/purescript code, when i do :3
October 22, 2026 at 11:27 PM
i need to do purescript...
October 17, 2026 at 6:32 PM
𝗣𝘂𝗿𝗲𝗦𝗰𝗿𝗶𝗽𝘁

PureScript is a strongly-typed functional programming language that compiles to JavaScript

https://thewhale.cc/posts/purescript

#JS #FunctionalPrograming
PureScript
PureScript is a strongly-typed functional programming language that compiles to JavaScript
thewhale.cc
October 16, 2026 at 2:40 PM
Haskell's Aeson writes a big Integer as a bare JSON number. JavaScript's JSON.parse silently loses precision on it. purescript-aeson decodes arbitrary-length numbers so both sides agree.

github.com/mlabs-haskel... #Haskell #PureScript
GitHub - mlabs-haskell/purescript-aeson: Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)
Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson) - mlabs-haskell/purescript-aeson
github.com
October 15, 2026 at 3:15 PM
I just want to take a moment to appreciate the #purescript team members that turned around a fix for my #netbsd issue faster than I expected. https://github.com/purescript/spago/issues/1418
NetBSD: All functionality fails; "-S" is not a portable option to env · Issue #1418 · purescript/spago
Spago 1.0.4 installed via npm fails to do anything on NetBSD: -bash-5.3$ npx spago build env: unknown option -- S Usage: env [-0i] [-C dir] [-u name] [--] \ [name=value ...] [--] \ [utility [arg .....
github.com
October 10, 2026 at 5:14 PM
𝗣𝘂𝗿𝗲𝗦𝗰𝗿𝗶𝗽𝘁

PureScript is a strongly-typed functional programming language that compiles to JavaScript

https://thewhale.cc/posts/purescript

#JS #FunctionalPrograming
PureScript
PureScript is a strongly-typed functional programming language that compiles to JavaScript
thewhale.cc
October 9, 2026 at 5:27 AM
Still very early days, but working on a fast-ish native #compiler toolchain for #PureScript
October 6, 2026 at 6:16 AM
Still very early days, but working on a fast-ish native #compiler toolchain for #purescript
October 6, 2026 at 6:16 AM
I *have* to be making this harder than it is. Can anyone link me to a #purescript SPA that doesn't use parcel or next.js that is trivial to run locally (like on localhost).

I tried and failed to use rollup.
September 24, 2026 at 10:57 PM
Well, I hacked my local #purescript spago to get a complete build, and opened an issue. I wonder how much traction my "support NetBSD plz" issues are really going to get.

An older version of spago is available from pkg_src, but I need something from the current major (1.x) version because the […]
Original post on hachyderm.io
hachyderm.io
September 24, 2026 at 8:55 PM
𝗣𝘂𝗿𝗲𝗦𝗰𝗿𝗶𝗽𝘁

PureScript is a strongly-typed functional programming language that compiles to JavaScript

https://thewhale.cc/posts/purescript

#JS #FunctionalPrograming
PureScript
PureScript is a strongly-typed functional programming language that compiles to JavaScript
thewhale.cc
September 17, 2026 at 10:00 AM
right now, I'm building an embedded DSL in PureScript that compiles to a pre-existing JSON config format + proprietary scripting language, and I've been very happy with it

but also looking to move to Lean or Idris or something soon
September 12, 2026 at 4:37 AM
Informal #FPIndia gathering next Sunday in #Bangalore. This is *very* limited space, and informal, so we don't have a predefined agenda.

Come hang out, eat, drink, and have some chill conversations with fellow #FunctionalProgramming enthusiasts!
luma.com/xpbc4v4q

#Haskell #PureScript #Rust #Elixir
Informal FPIndia Gathering · Luma
luma.com
September 5, 2026 at 9:36 AM