#purescript — Public Fediverse posts

#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

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

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

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

Opened an issue against the registry https://github.com/purescript/registry/issues/523 since package-sets is not longer accepting issues. I hope that's the right place. Please #PureScript people let me know if there's a better place to report this.

(No, I'm not interested in using spago@next.)

Hmm, trying to upgrade my #PureScript project to the latest package-set and getting a failure:

```
[info] Installing "record-extra-srghma"
[error]
Failed to install dependency "record-extra-srghma"
Git output:

Cloning into '.'...
fatal: could not read Username for 'https://github.com': terminal prompts disabled

Aborting installation..
```

I'm guessing that it's expecting me to have already have authenticated with GitHub and be using some sort of cache / git credential helper ?

I don't think this is good for repeatable builds and I don't think the package-set should accept packages that require authentication to fetch / build.

```packages.dhall
let upstream =
https://github.com/purescript/package-sets/releases/download/psc-0.15.15-20250711/packages.dhall
sha256:ee7af380ca58c03d51ac6bb7411ec441724c671a4fff823a2a61b1d4e345303c

in upstream
```

@nixCraft

fibs = Data.Function.fix $ (0 :) . scanl (+) 1

Actually, that's for my old favorite. I don't have a idealized one-liner for #Idris or #PureScript yet.

Is there a way to have #PureScript call DOM functions on #Halogen elements?

It _feels_ like re-rendering to VDOM would be wasteful, and there's already an event that will be triggered by my DOM calls.

In particular, I'd like like to use the existing browser/DOM state for a textarea (or some other form elements) rather than having to write a component that mimics what the browser is doing.

But, maybe I'm overthinking it, for now.

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 currently require a 100% remote position. I cannot relocate from Cove, #Arkansas. 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).

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. I've previously delivered value in Haskell, #Javascript, #SQL, #Python, #Scala, #Java, #C, and #Cxx among others. I can be productive in almost any language (no PHP, please; I promised myself never again).

Just put in another application via #LinkedIn so I also wanted to try to get #FediHired again.

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 currently require a 100% remote position. I cannot relocate from Cove, #Arkansas.

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).

(Boosts appreciated.)