#purescript — Public Fediverse posts

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

Still very early days, but working on a fast-ish native #compiler toolchain for #PureScript

I have an 'unfold' / 'ana' and even nested (non-uniformly recursive) versions, but they aren't **total** only _covering_.

I think this a problem with the form of a coalgebra: a -> f a

I think I should be able to fix it by using something different maybe: (x :a) -> f (y : a ** rel y x)

Has anyone seen paper or code in this direction, particularly if it's #idris ? I imagine you'd also need an accessibility proof for the initial seed but approach really feels good in my head.

I'm using nested, monadic unfolds to write generators for bound-style (DeBruijn indexes, generalized) lambda expressions and I'd like to have more confidence in their totality even tho I'm using languages that don't require that right now (like #purescript).

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.

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 whole configuration format changed and I already upgraded by hobby package.

Now I need to remember how to run this web app (at least in "development mode") without parcel. My package.json scripts use that, but parcel won't currently install through npm; node-lmdb is complaining about the C++ compiler.

Revisited my NetBSD laptop (been playing games and dreading the lack of right-click), and got #Idris installed via pack, by using the "micropack" and messing with CPATH.

I'm still trying to find a terminal that has keyboard commands to copy/paste since xterm in notably lacking them. I used to use konsole, but I got news today that KDE is being infected with unethical generative AI, so I'd like to avoid that. My noAI list says to use Alacritty; wish me luck.

I also wanted to get my #Purescript project building, but that's going much less well. I upgraded to spago 1.0 a while ago, but pkg_src only has binaries for spago 0.21.0 and the configuration has totally changed. If I install spago from npm, it seems non-functional; `spago build` complains `env: unknown option -- S`.

I am suffering from what unethical generative AI is doing to my profession and my hobbies, and today that suffering has been more acute than on most days.

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 · L...

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!
https://luma.com/xpbc4v4q

#Haskell #PureScript #Rust #TypeScript #Elixir

#FPIndia is looking for #meetup hosts in #Bangalore

Connect with senior devs and architects
Showcase your engineering culture
Engage with the community!

We need a space for 20 to 40 people and a screen for ~3 hours

DM or comment!

#FunctionalProgramming #haskell #elixir #rust #clojure #typescript #scala #purescript #formalmethods

Announcing the July #Bangalore #FPIndia #Meetup!

When: 1st August (yep 😆)
CFP is open: https://hasgeek.com/fpindia/bangalore-fp-july-2026-meetup

Come meet fellow FP heads, have great conversations, all skill levels welcome!

#PureScript #Typescript #Rust #Erlang #Scala #OCaml #FunctionalProgramming

Announcing the July #Bangalore #FPIndia #Meetup!

When: 1st August (yep 😆)
CFP is open: hasgeek.com/fpindia/bang...

Come meet fellow FP heads, have great conversations, all skill levels welcome!

#PureScript #Typescript #Rust #Erlang #Scala #OCaml #FunctionalProgramming

hasgeek.com/fpindia/bang..

Pursuit.purescript.org seems to be having some capacity issues this evening? Is there a way I can fire up a local version based on my spago.yaml?

#Purescript

Sometimes I wish #PureScript was an non-strict as #Haskell but maybe it's just because I've gotten used to being able to do "stupid laziness tricks".

If you are interested in #FunctionalProgramming or the #LambdaCalculus or just #Purescript and have some extra time, I'd love to get any feedback on https://bss03.gitlab.io/halogen-lambda/ that you are willing to give. Just reply to this post or DM me, either way. If you want to look at the source it's https://gitlab.com/bss03/halogen-lambda (the source maps aren't accessible via gitlab pages).

My current work has been on the CEK section, but I know it's not the only section that needs work.

I'd like it to be an explorer for learners, but also show that compiler errors (e.g. scope-checking variable names) prevent runtime errors.

oi ya functional programming #FP boffins and FP-curious minds. Brisbane Functional Programming Group #BFPG Hack Day is on again, THIS SATURDAY at UQ. Be there or be a lambda cube! https://luma.com/0je3g6ft

Thanks to UQ and Professor Paul Vrbik for venue arrangement, Sirius-Beta Labs for lunch, and Thea and George for hosting this edition (yes, I am a lambda cube this time).

#Haskell #Idris #Agda #Clojure #Scala #Rust #Scheme #Lisp #Fsharp #Erlang #Gleam #Racket #Elixir #Elm #PureScript

Happy to announce another confirmed talk for the #FPIndia #Bangalore June #meetup!

Srijan will talk about Formalising #MachineLearning for Functional Languages!

https://hasgeek.com/fpindia/bangalore-fp-june-2026-meetup/

#Haskell #PureScript #Typescript #Rust #Erlang #Scala #OCaml #FormalMethods #AI

Happy to announce another confirmed talk for the #FPIndia #Bangalore June #meetup! Srijan will talk about Formalising #MachineLearning for Functional Languages! hasgeek.com/fpindia/bang... #Haskell #PureScript #Typescript #Rust #Erlang #Scala #OCaml #FormalMethods #AI

Bangalore FP June 2026 meetup

Announcing the June #Bangalore #FPIndia #Meetup!

Our first talk is Type-level Programming in #Haskell, presented by @abnv!

Like always, meet fellow FP heads, have great conversations, all skill levels welcome!

RSVP https://hasgeek.com/fpindia/bangalore-fp-june-2026-meetup/

#PureScript #Typescript #Rust #Erlang #Scala #OCaml

Announcing the June #Bangalore #FPIndia #Meetup! Our first talk is Type-level Programming in #Haskell, presented by Abhinav! Like always, meet fellow FP heads, have great conversations, all skill levels welcome! RSVP hasgeek.com/fpindia/bang... #PureScript #Typescript #Rust #Erlang #Scala #OCaml

Bangalore FP June 2026 meetup

Okay, I'm going to abandon this branch for a bit. My #PureScript tests seem to be causing my dependencies to fail, without (obviously) calling my code:

```
file:///home/bss/git/halogen-lambda/output/Test.QuickCheck.Gen/index.js:149
var f = function (s) {
^

RangeError: Maximum call stack size exceeded
at f (file:///home/bss/git/halogen-lambda/output/Test.QuickCheck.Gen/index.js:149:22)
at file:///home/bss/git/halogen-lambda/output/Control.Monad.State.Trans/index.js:257:29
at file:///home/bss/git/halogen-lambda/output/Control.Monad.State.Trans/index.js:77:24
at file:///home/bss/git/halogen-lambda/output/Control.Monad.State.Trans/index.js:77:24
at file:///home/bss/git/halogen-lambda/output/Control.Monad.State.Trans/index.js:115:33
at file:///home/bss/git/halogen-lambda/output/Control.Monad.State.Trans/index.js:77:24
at file:///home/bss/git/halogen-lambda/output/Control.Monad.State.Trans/index.js:115:33
at file:///home/bss/git/halogen-lambda/output/Control.Monad.State.Trans/index.js:115:33
at f$prime (file:///home/bss/git/halogen-lambda/output/Control.Monad.State.Trans/index.js:229:33)
at file:///home/bss/git/halogen-lambda/output/Control.Monad.Rec.Class/index.js:186:32
```

BTW, anyone know how to apply a source map to a #nodejs backtrace?

We have another confirmed talk for the #FPIndia #Bangalore #meetup tomorrow! Ishaan will talk about Discrete optimisation and #MiniZinc! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure

Bangalore FP May 2026 meetup

The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers using #Lean. Plus, the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure

Bangalore FP May 2026 meetup

#PureScript / #Halogen question, is there a way to compare HTML / VDom values for equality? I want to write some checks for some helper functions that have HTML results.

I started trying to write my own, but it sort of looks like I'd need to bind JS's (===) :: Foreign -> Foreign -> Boolean to deal with some of the internals.

Alternatively, how would you test
`flowTree :: forall a w i. (a -> HtmlTreeF w i a) -> a -> HTML w i`
given
```
newtype HtmlTreeF w i a = MkTreeF
{ rootContent :: Array (HTML w i)
, links :: Array (Tuple (Maybe (Array (HTML w i))) a)
}
```

Quick #PureScript question. If I have a data structure that's basically a cons list, and I want to turn it into an Array, is the best way to do that recursive function with calls to `cons` or some better unfold?

(Sometimes I even forget that [:] is arrays in PS, since I write plenty of Haskell and Idrisi, too.)

RE: https://hachyderm.io/@BoydStephenSmithJr/116072082621033639

It's been about a year since my last position ended. Please let me know anywhere to apply for #Haskell, #Idris, or #Purescript employment.

@hongminhee I still write JS because it has a specification. When I adventure into implementation-defined languages for the browser, I use #PureScript

I had great hopes for TypeScript when they were still maintaining the specification, but I dropped it once their solution to implementation drifting from specification was to retire the specification.

---

Also, I come from the camp that the only real type system is a static type system, like Pierce in "Types and Programming Languages".

I want to be your next #FediHire !

I've been a programmer since 1985 (as a child), I've been an IT professional since 1995 (pulling wires and swapping cards and configuring MS Windows). I graduated from University of Arkansas Fayetteville with a BS in CS in December of 2003. A full resume is available.

I am currently splitting my time between Fayetteville, Arkansas and Cove, Arkansas but I am open to relocation for the right position. My last two positions were 100% remote so I work well on asynchronous teams.

I prefer something where I can be a high-performing individual contributor: reading, writing and improving source text the majority of my day, with some time spent knowledge-sharing with other developers -- learning and teaching. I'd like to work with #Haskell, #Purescript, or #Idris as the primary source language, but I can be productive in almost any language (no PHP, please; I promised myself never again).

I would prefer W-2 employment with a base salary of at least 130k USD/yr, plus some sort of retirement offering (401k or similar) and healthcare benefits (HDCP + HSA or similar). But, I will certainly give due consideration to other compensation packages.

(Boosts appreciated.)

If you haven't heard, the #purescript build tool #spago recently has a major 1.x release.

In celebration of this I wanted to reaffirm my financial support of the project, since I don't have time/skill to contribute labor.

I *thought* I was supporting the project on liberapay, but I could find it on my giving page.

EDIT: https://opencollective.com/purescript

純粋関数型言語ではconsole.log("Hello")をlog "Hello"と書くし、foo = 42をwrite 42 fooと書く
https://qiita.com/hiruberuto/items/4d8a4739cd738c425ee2?utm_campaign=popular_items&utm_medium=feed&utm_source=popular_items

#qiita #JavaScript #Haskell #purescript

Not in Bangalore but want to attend an #FPIndia meetup? No problems! Join us for an online meetup open to all. RSVP at hasgeek.com/fpindia/fpin... #FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure

FPIndia Online - Feb 2026