Med-Mastodon

Boyd Stephen Smith Jr.<a href="https://mastodon.social/@nixCraft" class="u-url mention" rel="nofollow noopener" target="_blank">@nixCraft</a> fibs = Data.Function.fix $ (0 :) . scanl (+) 1Actually, 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">#Idris</a> or <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> yet.

Boyd Stephen Smith Jr.Is there a way to have <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> call DOM functions on <a href="https://hachyderm.io/tags/Halogen" class="mention hashtag" rel="nofollow noopener" target="_blank">#Halogen</a> elements? It _feels_ like re-rendering to VDOM would be wasteful, and there's already an event that will be triggered by my DOM calls.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.But, maybe I'm overthinking it, for now.

Boyd Stephen Smith Jr.I want to be your next <a href="https://hachyderm.io/tags/FediHire" class="mention hashtag" rel="nofollow noopener" target="_blank">#FediHire</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.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">#Arkansas</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).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">#Haskell</a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Purescript</a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</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">#Javascript</a>, <a href="https://hachyderm.io/tags/SQL" class="mention hashtag" rel="nofollow noopener" target="_blank">#SQL</a>, <a href="https://hachyderm.io/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a>, <a href="https://hachyderm.io/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a>, <a href="https://hachyderm.io/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#Java</a>, <a href="https://hachyderm.io/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#C</a>, and <a href="https://hachyderm.io/tags/Cxx" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cxx</a> among others. I can be productive in almost any language (no PHP, please; I promised myself never again).

Boyd Stephen Smith Jr.Just put in another application via <a href="https://hachyderm.io/tags/LinkedIn" class="mention hashtag" rel="nofollow noopener" target="_blank">#LinkedIn</a> so I also wanted to try to get <a href="https://hachyderm.io/tags/FediHired" class="mention hashtag" rel="nofollow noopener" target="_blank">#FediHired</a> 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, <a href="https://hachyderm.io/tags/Arkansas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Arkansas</a>.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">#Haskell</a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Purescript</a>, or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</a> 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.)

Anupam 🇮🇳《ミ》λ≡Playing around with <a href="https://social.id1.in/tags/dependenttypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#DependentTypes</a> and started writing a (currently pretty silly) <a href="https://social.id1.in/tags/singletons" class="mention hashtag" rel="nofollow noopener" target="_blank">#Singletons</a> library port for <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> - <a href="https://forge.id1.in/aj/purescript-singletons/" rel="nofollow noopener" target="_blank">https://forge.id1.in/aj/purescript-singletons/</a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

Boyd Stephen Smith Jr.<a href="https://mastodon.social/@rzeta0" class="u-url mention" rel="nofollow noopener" target="_blank">@rzeta0</a> It's written in <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Purescript</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">https://gitlab.com/bss03/halogen-lambda/-/blob/main/src/Eval.purs?ref_type=heads</a>

Anupam 🇮🇳《ミ》λ≡Come join us for another day of geeking out over functional programming! The FPIndia May meetup is here! <a href="https://hasgeek.com/fpindia/bangalore-fp-may-meetup/" rel="nofollow noopener" target="_blank">https://hasgeek.com/fpindia/bangalore-fp-may-meetup/</a> <a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener" target="_blank">#Bangalore</a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener" target="_blank">#FPIndia</a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener" target="_blank">#Meetup</a> <a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener" target="_blank">#India</a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#Elixir</a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#Clojure</a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a>

Anupam 🇮🇳《ミ》λ≡Is there any org in <a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener" target="_blank">#Bangalore</a> that would like to lend their space for an <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener" target="_blank">#FPIndia</a> meetup? Please dm <a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener" target="_blank">#India</a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener" target="_blank">#Meetup</a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> <a href="https://social.id1.in/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#Erlang</a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#Elixir</a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#Clojure</a>

harryprayivIf you’re a <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a> user or a proponent of <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#functionalprogramming</a> please consider donating to the <a href="https://mastodon.social/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Purescript</a> project to keep it alive.It’s a fairly obscure project but, IMO, it is THE language for web <a href="https://mastodon.social/tags/frontend" class="mention hashtag" rel="nofollow noopener" target="_blank">#frontend</a>.On top of that, the backend was recently rewritten in <a href="https://mastodon.social/tags/ChezScheme" class="mention hashtag" rel="nofollow noopener" target="_blank">#ChezScheme</a> which tends to be very popular choice in the <a href="https://mastodon.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener" target="_blank">#formalmethods</a> world due to its rigor.I see <a href="https://mastodon.social/tags/ghcjs" class="mention hashtag" rel="nofollow noopener" target="_blank">#ghcjs</a> nipping at its heels but IMO, PS will always be a more bespoke and opinionated tool.<a href="https://opencollective.com/purescript/donate" rel="nofollow noopener" translate="no" target="_blank">https://opencollective.com/purescript/donate</a>

Boyd Stephen Smith Jr.Whelp. Just got let go. They actually disabled my account while I was in the exit interview. Corporate IT is _cold_.Anyway, I guess I'm looking for a new position maybe even be <a href="https://hachyderm.io/tags/FediHired" class="mention hashtag" rel="nofollow noopener" target="_blank">#FediHired</a> ?I have to live in Cove, AR with my disabled family, so it will probably need to be 100% remote.I'd prefer to keep doing <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> or try out <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> in production, or even something more exotic like <a href="https://hachyderm.io/tags/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#Agda</a> or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</a>

Anupam 🇮🇳《ミ》λ≡Full stack <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> 🍜

Anupam 🇮🇳《ミ》λ≡Ready to geek out over functional programming? Join us for the upcoming FPIndia Bangalore meetup! <a href="https://hasgeek.com/fpindia/bangalore-fp-april-meetup/" rel="nofollow noopener" target="_blank">https://hasgeek.com/fpindia/bangalore-fp-april-meetup/</a> <a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener" target="_blank">#Bangalore</a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener" target="_blank">#FPIndia</a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener" target="_blank">#Meetup</a> <a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener" target="_blank">#India</a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#Elixir</a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#Clojure</a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a>

lucasdicioccioAs promised above, I've made a demo todo app for the style/architecture I described in a previous series of posts ; <a href="https://dicioccio.fr/purescript-minitools-architecturedemo.html" rel="nofollow noopener" translate="no" target="_blank">https://dicioccio.fr/purescript-minitools-architecturedemo.html</a> (the code: <a href="https://github.com/lucasdicioccio/purescript-minitools-architecture-demo" rel="nofollow noopener" translate="no" target="_blank">https://github.com/lucasdicioccio/purescript-minitools-architecture-demo</a> ) + I've opened the set of "bricks" (i.e., bulma-css style "components").<a href="https://fosstodon.org/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#purescript</a> <a href="https://fosstodon.org/tags/webapps" class="mention hashtag" rel="nofollow noopener" target="_blank">#webapps</a> <a href="https://fosstodon.org/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenSource</a>

harryprayivFilmmaker with 25 years of experience in pro cinematography looking to transition to a stable career in: A.) software engineering with a focus on <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#functionalprogramming</a> and <a href="https://mastodon.social/tags/functionalreactiveprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#functionalreactiveprogramming</a> using <a href="https://mastodon.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mastodon.social/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Purescript</a> <a href="https://mastodon.social/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a> B.) <a href="https://mastodon.social/tags/devops" class="mention hashtag" rel="nofollow noopener" target="_blank">#devops</a> leveraging my skills in <a href="https://mastodon.social/tags/nix" class="mention hashtag" rel="nofollow noopener" target="_blank">#nix</a> <a href="https://mastodon.social/tags/nixos" class="mention hashtag" rel="nofollow noopener" target="_blank">#nixos</a> and <a href="https://mastodon.social/tags/flakes" class="mention hashtag" rel="nofollow noopener" target="_blank">#flakes</a>C.) Corporate IT and or Linux <a href="https://mastodon.social/tags/sysadmin" class="mention hashtag" rel="nofollow noopener" target="_blank">#sysadmin</a><a href="https://mastodon.social/tags/FediHire" class="mention hashtag" rel="nofollow noopener" target="_blank">#FediHire</a> <a href="https://mastodon.social/tags/opentowork" class="mention hashtag" rel="nofollow noopener" target="_blank">#opentowork</a>

Anupam 🇮🇳《ミ》λ≡Had a very very typical of <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> moment (Well actually <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> 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. <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> with <a href="https://social.id1.in/tags/strongstatictypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#StrongStaticTypes</a>, <a href="https://social.id1.in/tags/typedholes" class="mention hashtag" rel="nofollow noopener" target="_blank">#TypedHoles</a>, and a standard library of patterns (a.k.a. <a href="https://social.id1.in/tags/typeclasses" class="mention hashtag" rel="nofollow noopener" target="_blank">#TypeClasses</a>) like Distributive, is a super power.

Anupam 🇮🇳《ミ》λ≡I have a <a href="https://functional.cafe/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#Linux</a> machine with 32GB RAM and barely use 8GB of it. I run <a href="https://functional.cafe/tags/Firefox" class="mention hashtag" rel="nofollow noopener" target="_blank">#Firefox</a> with hundreds of tabs, open <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a>, <a href="https://functional.cafe/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a>, and <a href="https://functional.cafe/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> projects all at the same time. Have <a href="https://functional.cafe/tags/Telegram" class="mention hashtag" rel="nofollow noopener" target="_blank">#Telegram</a> and <a href="https://functional.cafe/tags/Discord" class="mention hashtag" rel="nofollow noopener" target="_blank">#Discord</a> apps running, and the memory usage still hovers around 8GB.Seems like I should be using Docker and Kubernetes just to feel like I'm using my machine to its potential 😆

Boyd Stephen Smith Jr.Would it be insane to create a git repository that has <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a>, <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#Purescript</a>, AND <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</a> 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.

Anupam 🇮🇳《ミ》λ≡Worked around the <a href="https://functional.cafe/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> typechecker and finally I have an example of full dependent types with type level naturals. Implemented without unsafeCoerce or FFI<a href="https://forge.id1.in/aj/purescript-singletons/src/branch/main/src/Singletons.purs" rel="nofollow noopener" translate="no" target="_blank">https://forge.id1.in/aj/purescript-singletons/src/branch/main/src/Singletons.purs</a><a href="https://functional.cafe/tags/DependentTypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#DependentTypes</a> <a href="https://functional.cafe/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

Anupam 🇮🇳《ミ》λ≡Started writing a singletons (a.k.a. poor man's <a href="https://functional.cafe/tags/DependentTypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#DependentTypes</a>) implementation for <a href="https://functional.cafe/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a>.Not everything works yet, I'm running into what seems to be a PureScript bug/limitation, but it looks promising.<a href="https://forge.id1.in/aj/purescript-singletons/src/branch/main/src/Singletons.purs" rel="nofollow noopener" translate="no" target="_blank">https://forge.id1.in/aj/purescript-singletons/src/branch/main/src/Singletons.purs</a><a href="https://functional.cafe/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

Anupam 🇮🇳《ミ》λ≡An excellent data visualisation project, written using <a href="https://functional.cafe/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> <a href="https://github.com/explorable-viz/fluid" rel="nofollow noopener" translate="no" target="_blank">https://github.com/explorable-viz/fluid</a>

Recent searches

Search options

Administered by:

Server stats:

#purescript