I think categorical composition is oversold in functional programming hype, but I'm still a fan of and

#agda #idris #haskell #purescript

Last updated 1 year ago

@hongminhee IME, the tooling with is actually worse than the tooling with , 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.

#purescript #ghc #haskell

Last updated 1 year ago

洪 民憙 (Hong Minhee) · @hongminhee
257 followers · 2028 posts · Server todon.eu

This is why I've considered as a decent alternative to , 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. 😇

journal.infinitenegativeutilit

#purescript #haskell

Last updated 1 year ago

lucasdicioccio · @lucasdicioccio
129 followers · 104 posts · Server fosstodon.org

Here me out

```
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 if you can)

#haskell #purescript

Last updated 1 year ago

🥴S.Percentage🙀 · @Pctg_x8
9 followers · 94 posts · Server crescent.ct2.io

Ref aなデータがあるとして、これをうまくa -> Effect aな関数を崩さないまま適用して中身をmodifyしたい

#purescript

Last updated 1 year ago

amen zwa, esq. · @AmenZwa
120 followers · 1291 posts · Server mathstodon.xyz

I don't get the value proposition of . PureScript targets JavaScript. It is a stripped down Haskell.

Haskell, OCaml, and other existing languages also target JavaScript. These are well-established languages with powerful development environments.

#fp #purescript

Last updated 1 year ago

@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

Last updated 1 year ago

seeg · @seeg
29 followers · 166 posts · Server toot.whatever.cz

@daviwil If you like or , there is Gargantext
gargantext.org/

#haskell #purescript

Last updated 1 year ago

Jons Mostovojs · @jonn
388 followers · 6129 posts · Server social.doma.dev

#purescript

Last updated 1 year ago

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

Last updated 1 year ago

Anyone use with .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 was doing with the "settings" key, and how to reproduce that without CoC, if that's even possible.

#purescript #vim #coc

Last updated 1 year ago

What's the goto for in ? The prelude module (pursuit.purescript.org/package) 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.

#genericprogramming #purescript #scope #bound #debruijn

Last updated 1 year ago

I got it compiling on 0.15 github.com/stephen-smith/pures and opened a PR github.com/benjamin-hodgson/pu

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.

#purescript

Last updated 1 year ago

Any aficionados using the "bound" package (pursuit.purescript.org/package)?

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

Last updated 1 year ago

Alex Michael Berry · @almibe
65 followers · 176 posts · Server fosstodon.org

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

Last updated 1 year ago

I'm still holding out against my desire to visit Reddit. But, the and and 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.

#haskell #purescript #halogen

Last updated 1 year ago

Orphèe · @0rphee
3 followers · 160 posts · Server kolektiva.social

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 lol

would be better though? don’t know, maybe later i’ll try it

#haskell #purescript #fp #functionalprogramming

Last updated 1 year ago

Felix · @leobm
221 followers · 3040 posts · Server norden.social
Jonn · @jonn
356 followers · 5431 posts · Server social.doma.dev

@abnv @haskman you can compile to C++: github.com/andyarvanitis/pures if you prefer C++ gotchas.

#purescript

Last updated 1 year ago

Jencel Panic · @abuseofnotation
302 followers · 390 posts · Server mathstodon.xyz

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:
Back-end tech:
Also:

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

Last updated 1 year ago