Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
med-mastodon.com is one of the many independent Mastodon servers you can use to participate in the fediverse.
Medical community on Mastodon

Administered by:

Server stats:

357
active users

med-mastodon.com: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.9

#purescript

1 post1 participant0 posts today
Public
Boyd Stephen Smith Jr.

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 #C++ among others. I can be productive in almost any language (no PHP, please; I promised myself never again).

Public *
Boyd Stephen Smith Jr.

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

Public
harryprayiv

If you’re a #haskell user or a proponent of #functionalprogramming please consider donating to the #Purescript project to keep it alive.

It’s a fairly obscure project but, IMO, it is THE language for web #frontend.

On top of that, the backend was recently rewritten in #ChezScheme which tends to be very popular choice in the #formalmethods world due to its rigor.

I see #ghcjs nipping at its heels but IMO, PS will always be a more bespoke and opinionated tool.

opencollective.com/purescript/

opencollective.comContribute - Open Collective
Public
Anupam 🇮🇳《ミ》λ≡

Had a very very typical of #Haskell moment (Well actually #PureScript but that's besides the point)

I had an applicative parser `process <$> Parser a <*> Parser b`. Then had a refactoring to be done where some part of the `a` was going to be read earlier in the pipeline. So I did the minimal thing and changed the parser for `a` to be a parser for `e -> a`. So now I was stuck with how to compose it with the parser for `b` neatly without changing a lot of logic. Basically I had a pipeline of the type `(a -> b -> c) -> Parser a -> Parser b -> Parser c` and I needed it to be converted to a pipeline of the type `(a -> b -> c) -> Parser (e -> a) -> Parser b -> Parser (e -> c)`. See how the "environment" `e`, just got lifted out? On a whim I added a type hole in front of process, and it told me that collect was a valid fit, and sure enough `collect process <$> Parser a <*> Parser b` does what I want! Minimal changes to the code, and saved me 15 minutes of tinkering, juggling variables around.

So how does it work?
`collect :: (a -> g b) -> f a -> g (f b)`
What I effectively needed was `(a -> c -> b) -> (e -> a) -> c -> e -> b`
If you squint, you can see that this is satisfied for `g === (c ->)`, and `f === (e ->)`. i.e. both `g` and `f` are the function functor.

#FunctionalProgramming with #StrongStaticTypes, #TypedHoles, and a standard library of patterns (a.k.a. #TypeClasses) like Distributive, is a super power.

Public
Boyd Stephen Smith Jr.

Would it be insane to create a git repository that has #Haskell, #Purescript, AND #Idris packages in it?

My main concern is that some of the package distribution tooling I've dealt with seems to assume/prefer the package is at the top-level of the git repo.

Should I be using *submodules*!? (Plz, no!)

I think it's going to be informative to keep the packages coherent, and one repo seems like it could be a way to do that.

Public
Boyd Stephen Smith Jr.

I'm going to ignore this for tonight, probably, but what do you think I should spend my free time programming?

#idris #haskell #purescript

If it's not listed, reply if you want.

gitlab.com/bss03
github.com/stephen-smith/

· 7 people · Closed
GitLabBoyd Stephen Smith Jr. · GitLabGitLab.com
Continued thread
Public *
Anupam 🇮🇳《ミ》λ≡

This is all it took -
```
class Implicit (key :: Symbol) (value :: Type) where
get :: value

instance Fail (Text "Unable to find implicit value in scope") => Implicit key value

provide :: forall @key value r. value -> (Implicit key value => r) -> r
provide value k =
(unsafeCoerce :: (Implicit key value => r) -> { get :: value } -> r)
k { get: value }
```

#PureScript
ExploreLive feeds
About