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:

361
active users

#purescript

0 posts0 participants0 posts today
Boyd Stephen Smith Jr.<p><span class="h-card" translate="no"><a href="https://mastodon.social/@nixCraft" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>nixCraft</span></a></span> </p><p>fibs = Data.Function.fix $ (0 :) . scanl (+) 1</p><p>Actually, that's for my old favorite. I don't have a idealized one-liner for <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Idris</span></a> or <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PureScript</span></a> yet.</p>
Boyd Stephen Smith Jr.<p>Is there a way to have <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PureScript</span></a> call DOM functions on <a href="https://hachyderm.io/tags/Halogen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Halogen</span></a> elements? </p><p>It _feels_ like re-rendering to VDOM would be wasteful, and there's already an event that will be triggered by my DOM calls.</p><p>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.</p><p>But, maybe I'm overthinking it, for now.</p>
Boyd Stephen Smith Jr.<p>I want to be your next <a href="https://hachyderm.io/tags/FediHire" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FediHire</span></a> ! 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.</p><p>I currently require a 100% remote position. I cannot relocate from Cove, <a href="https://hachyderm.io/tags/Arkansas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Arkansas</span></a>. 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).</p><p>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 <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Purescript</span></a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Idris</span></a> as the primary source language. I've previously delivered value in Haskell, <a href="https://hachyderm.io/tags/Javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Javascript</span></a>, <a href="https://hachyderm.io/tags/SQL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SQL</span></a>, <a href="https://hachyderm.io/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a>, <a href="https://hachyderm.io/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Scala</span></a>, <a href="https://hachyderm.io/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Java</span></a>, <a href="https://hachyderm.io/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>C</span></a>, and <a href="https://hachyderm.io/tags/Cxx" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cxx</span></a> among others. I can be productive in almost any language (no PHP, please; I promised myself never again).</p>
Boyd Stephen Smith Jr.<p>Just put in another application via <a href="https://hachyderm.io/tags/LinkedIn" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LinkedIn</span></a> so I also wanted to try to get <a href="https://hachyderm.io/tags/FediHired" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FediHired</span></a> again.</p><p>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.</p><p>I currently require a 100% remote position. I cannot relocate from Cove, <a href="https://hachyderm.io/tags/Arkansas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Arkansas</span></a>.</p><p>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 <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Purescript</span></a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Idris</span></a> as the primary source language, but I can be productive in almost any language (no PHP, please; I promised myself never again).</p><p>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).</p><p>(Boosts appreciated.)</p>
Anupam 🇮🇳《ミ》λ≡<p>Playing around with <a href="https://social.id1.in/tags/dependenttypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DependentTypes</span></a> and started writing a (currently pretty silly) <a href="https://social.id1.in/tags/singletons" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Singletons</span></a> library port for <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PureScript</span></a> - <a href="https://forge.id1.in/aj/purescript-singletons/" rel="nofollow noopener" target="_blank">https://forge.id1.in/aj/purescript-singletons/</a><br><br><a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a></p>
Boyd Stephen Smith Jr.<p><span class="h-card" translate="no"><a href="https://mastodon.social/@rzeta0" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>rzeta0</span></a></span> It's written in <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Purescript</span></a> -- the syntax is somewhat similar tho, so you might understand: <a href="https://gitlab.com/bss03/halogen-lambda/-/blob/main/src/Eval.purs?ref_type=heads" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gitlab.com/bss03/halogen-lambd</span><span class="invisible">a/-/blob/main/src/Eval.purs?ref_type=heads</span></a></p>

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

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.

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.