I think categorical composition is oversold in functional programming hype, but I'm still a fan of #Agda #Idris #Haskell and #Purescript
#agda #idris #haskell #purescript
@hongminhee IME, the tooling with #PureScript is actually worse than the tooling with #GHC #Haskell, which really seemed to be the main problem raised in the article.
I haven't played around with the latest and greatest web backends for GHC, but I did try GHCjs and PureScript at the same time, and felt PureScript was already ahead of the game then. But what other people tend to call "tooling" (I find the concept nebulous) has never seemed to be a priority for me.
This is why I've considered #PureScript as a decent alternative to #Haskell, but it's overly centered on the web and Node.js (it has a Go/C++ backend, but it's never a first-class citizen), and the lack of momentum due to the size of the community makes me scared to bet on it. 😇
https://journal.infinitenegativeutility.com/leaving-haskell-behind
Here me out #haskell
```
demo env someParam = do
x01 <- action01 env.logger someParam
ret <- action02 env.logger env.db x02
env.notify ret
return ret
```
Then you get ugly types but you get a good pattern for writing glue-code close to pseudo-code, and making sure that the "env object" requests only the right deps.
What would me super-happy is if we could have some Template trick to turn the constraint en `env` into some concrete record.
(alternative: use #purescript if you can)
I don't get the value proposition of #PureScript. PureScript targets JavaScript. It is a stripped down Haskell.
Haskell, OCaml, and other existing #FP languages also target JavaScript. These are well-established languages with powerful development environments.
@MartinEscardo @andrejbauer Language specifications are so 20th century. Few people want them, so few are written, and most that are produced get ignored or retired. #PureScript #TypeScript #Rust #Haskell
#purescript #typescript #rust #haskell
@daviwil If you like #haskell or #purescript, there is Gargantext
https://gargantext.org/
I put together a new pre-release of purescript-bound and things are working out better now. I still think a `Generic Unit _` instance should already be in purescript-prelude, but I found a way so I don't need one. #Purescript #Bound
Anyone use #purescript with #vim.lsp ? In CoC, I was able to use settings -> formatter -> purs-tidy to get formatting. It doesn't _seem_ to be the same with lsp-config and vim.lsp.
It's not clear to me what #CoC was doing with the "settings" key, and how to reproduce that without CoC, if that's even possible.
What's the goto for #GenericProgramming in #PureScript ? The prelude module (https://pursuit.purescript.org/packages/purescript-prelude/6.0.1/docs/Data.Generic.Rep) doesn't seem to have any instances, so I'm guessing it is not much used?
Or, am I really expected to patch prelude for my `Generic Unit _` instance?
Just trying to `show` and `Scope` from `Bound` module. #Scope #Bound #deBruijn
#genericprogramming #purescript #scope #bound #debruijn
I got it compiling on #PureScript 0.15 https://github.com/stephen-smith/purescript-bound and opened a PR https://github.com/benjamin-hodgson/purescript-bound/pull/4
It's far too late tonight, but I'll see if I can add it to my package set tomorrow.
I might do much of my development on Gitlab and only use that fork for opening PRs to the original.
Any #PureScript aficionados using the "bound" package (https://pursuit.purescript.org/packages/purescript-bound)?
When I tried to add it to my package set, I ran into a DuplicateModule error because Type.Proxy has moved into prelude.
I'm trying to decide if I just reimplement a version in my little project, or fork, update, and try to get it into a modern package set from the registry.
#purescript #bound #scope #var #lambda #expression
I am pleasantly surprised by how easy it is to integrate PureScript into an existing project. I assumed it would be a pain, but in certain circumstances TypeScript has given me a lot more problems.
#purescript
I'm still holding out against my desire to visit Reddit. But, the #haskell and #purescript and #halogen tags are pretty bare in my Mastodon network, and I'm really missing just seeing what comments and posts are new.
I know the "real" solution is to generate more ActivityPub content instead of just consuming, but I generate for work, and I go to reddit to get away from that responsibility for a few minutes.
I am encouraged at the front page of kbin.social, but haven't signed up, yet.
now, but seriously, though the elm compiler error messages are greater than i would’ve expected, WHY ARE THERE NOT GUARD CLAUSES, or “where” bindings??
i think i just really want a copy of #haskell lol
would #purescript be better though? don’t know, maybe later i’ll try it
#haskell #purescript #fp #functionalprogramming
Intro to #PureScript for #TypeScript developers
https://advancedweb.hu/intro-to-purescript-for-typescript-developers/
#purescript #typescript #functionalprogramming
@abnv @haskman you can compile #purescript to C++: https://github.com/andyarvanitis/purescript-native if you prefer C++ gotchas.
Searching for an interesting Web development project to tackle. The most important criteria is for it to be interesting and meaningful, willing to work for smaller fees for non-profits.
I have lots of experience with
Front-end tech: #Javascript #typescript #purescript #react #angular #html #css
Back-end tech: #nodejs #ruby #rails #sql #mongo
Also: #ux #ui #scrum #projectmanagement #design
github.com/abuseofnotation/
abuseofnotation.github.io/
#fedijobs #FediHire #design #projectmanagement #scrum #ui #ux #mongo #sql #rails #ruby #nodejs #css #html #angular #react #purescript #typescript #javascript