#purescript — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #purescript, aggregated by home.social.
-
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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)
}
``` -
#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)
}
``` -
#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)
}
``` -
#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)
}
``` -
#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.)
-
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.)
-
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.)
-
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.)
-
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.
-
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.
-
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.
-
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.
-
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".
-
@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".
-
@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".
-
@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".
-
@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.)
-
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.)
-
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.)
-
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.)
-
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.
-
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.
-
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.
-
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.
-
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.
-
純粋関数型言語では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 -
純粋関数型言語では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 -
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 -
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 -
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 -
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 -
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 -
@raphael That is great to know :)
The code is released under the GPL license so you're free to reuse (parts of) it as long as whatever you distribute is also under the GPL license. With that said, it's in #purescript so I'm not sure how reusable it is, unless your project is also in Purescript.
In any case, if you'd like to join forces for some project, please let me know. It gets demotivating trying to build tools by myself as a developer for a use case that's specific to me as a user. I could do with potential users/fellow developers :)
-
@raphael That is great to know :)
The code is released under the GPL license so you're free to reuse (parts of) it as long as whatever you distribute is also under the GPL license. With that said, it's in #purescript so I'm not sure how reusable it is, unless your project is also in Purescript.
In any case, if you'd like to join forces for some project, please let me know. It gets demotivating trying to build tools by myself as a developer for a use case that's specific to me as a user. I could do with potential users/fellow developers :)
-
@raphael That is great to know :)
The code is released under the GPL license so you're free to reuse (parts of) it as long as whatever you distribute is also under the GPL license. With that said, it's in #purescript so I'm not sure how reusable it is, unless your project is also in Purescript.
In any case, if you'd like to join forces for some project, please let me know. It gets demotivating trying to build tools by myself as a developer for a use case that's specific to me as a user. I could do with potential users/fellow developers :)