Boyd Stephen Smith Jr.<p><span class="h-card" translate="no"><a href="https://mastodon.social/@rzeta0" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>rzeta0</span></a></span> It's written in <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" 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>
Recent searches
No recent searches
Search options
Only available when logged in.
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.
Administered by:
Server stats:
223active users
eupolicy.social: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.6
#purescript
0 posts · 0 participants · 0 posts today
Anupam 🇮🇳《ミ》λ≡<p>Is there any org in <a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Bangalore</span></a> that would like to lend their space for an <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FPIndia</span></a> meetup? Please dm<br><br><a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>India</span></a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Meetup</span></a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PureScript</span></a> <a href="https://social.id1.in/tags/erlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Erlang</span></a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Elixir</span></a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Clojure</span></a></p>
harryprayiv<p>If you’re a <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> user or a proponent of <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> please consider donating to the <a href="https://mastodon.social/tags/Purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Purescript</span></a> project to keep it alive.</p><p>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 noreferrer" target="_blank">#<span>frontend</span></a>.</p><p>On top of that, the backend was recently rewritten in <a href="https://mastodon.social/tags/ChezScheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ChezScheme</span></a> which tends to be very popular choice in the <a href="https://mastodon.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a> world due to its rigor.</p><p>I see <a href="https://mastodon.social/tags/ghcjs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ghcjs</span></a> nipping at its heels but IMO, PS will always be a more bespoke and opinionated tool.</p><p><a href="https://opencollective.com/purescript/donate" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">opencollective.com/purescript/</span><span class="invisible">donate</span></a></p>
Boyd Stephen Smith Jr.<p>Whelp. Just got let go. They actually disabled my account while I was in the exit interview. Corporate IT is _cold_.</p><p>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 noreferrer" target="_blank">#<span>FediHired</span></a> ?</p><p>I have to live in Cove, AR with my disabled family, so it will probably need to be 100% remote.</p><p>I'd prefer to keep doing <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> or try out <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PureScript</span></a> in production, or even something more exotic like <a href="https://hachyderm.io/tags/Agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agda</span></a> or <a href="https://hachyderm.io/tags/Idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Idris</span></a></p>
Anupam 🇮🇳《ミ》λ≡<p>Ready to geek out over functional programming? Join us for the upcoming FPIndia Bangalore meetup!<br><a href="https://hasgeek.com/fpindia/bangalore-fp-april-meetup/" rel="nofollow noopener noreferrer" target="_blank">https://hasgeek.com/fpindia/bangalore-fp-april-meetup/</a><br><br><a href="https://social.id1.in/tags/bangalore" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Bangalore</span></a> <a href="https://social.id1.in/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://social.id1.in/tags/fpindia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FPIndia</span></a> <a href="https://social.id1.in/tags/meetup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Meetup</span></a> <a href="https://social.id1.in/tags/india" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>India</span></a> <a href="https://social.id1.in/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://social.id1.in/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PureScript</span></a> <a href="https://social.id1.in/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> <a href="https://social.id1.in/tags/elixir" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Elixir</span></a> <a href="https://social.id1.in/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Clojure</span></a> <a href="https://social.id1.in/tags/scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a></p>
harryprayiv<p>Filmmaker with 25 years of experience in pro cinematography looking to transition to a stable career in: </p><p>A.) software engineering with a focus on <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> and <a href="https://mastodon.social/tags/functionalreactiveprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalreactiveprogramming</span></a> using <a href="https://mastodon.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mastodon.social/tags/Purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Purescript</span></a> <a href="https://mastodon.social/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rust</span></a> </p><p>B.) <a href="https://mastodon.social/tags/devops" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>devops</span></a> leveraging my skills in <a href="https://mastodon.social/tags/nix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nix</span></a> <a href="https://mastodon.social/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nixos</span></a> and <a href="https://mastodon.social/tags/flakes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>flakes</span></a></p><p>C.) Corporate IT and or Linux <a href="https://mastodon.social/tags/sysadmin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sysadmin</span></a></p><p><a href="https://mastodon.social/tags/FediHire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FediHire</span></a> <a href="https://mastodon.social/tags/opentowork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>opentowork</span></a></p>
Boyd Stephen Smith Jr.<p><span class="h-card" translate="no"><a href="https://social.polotek.net/@polotek" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>polotek</span></a></span> I'm full-stack and a big fan of static analysis via types, so I prefer <a href="https://hachyderm.io/tags/Purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Purescript</span></a> <a href="https://hachyderm.io/tags/Halogen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Halogen</span></a> for the front end and <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> for the backend.</p><p>Though, eventually I'd like to replace them both with a <a href="https://hachyderm.io/tags/GRTT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GRTT</span></a> (Graded Modal Dependent Type Theory) based language for multiple reasons.</p>
Mike English 💾<p>Time for a new <a href="https://hachyderm.io/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a>!</p><p>Hi all, I'm Mike!</p><p>I'm a software developer working in the <a href="https://hachyderm.io/tags/video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>video</span></a> streaming space. Specifically, I've been working on Media over QUIC (MoQ), <a href="https://hachyderm.io/tags/WebRTC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WebRTC</span></a>, and other "ultra low latency" technologies. I write <a href="https://hachyderm.io/tags/PureScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PureScript</span></a>, <a href="https://hachyderm.io/tags/Erlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Erlang</span></a>, and <a href="https://hachyderm.io/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rust</span></a> at work these days.</p><p>I'm still living the <a href="https://hachyderm.io/tags/RemoteLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RemoteLife</span></a> and now work for a distributed London-based company from the woods of <a href="https://hachyderm.io/tags/Michigan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Michigan</span></a>.</p><p>In my free time I enjoy <a href="https://hachyderm.io/tags/hiking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hiking</span></a> and playing games with my family, and playing with radio waves.</p>
harryprayiv<p>Monadic Parsers at the Input Boundary: an absolutely brilliant talk that clarified some concepts in parsing using the functional paradigm; also made me realize that I had been using monadic parsing techniques without even realizing it when I (very sloppily) wrote a keypad parser in C. I learned more from listening to this talk than I have in years.</p><p><a href="https://mastodon.social/tags/monads" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monads</span></a> <a href="https://mastodon.social/tags/parsers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>parsers</span></a> <a href="https://mastodon.social/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>purescript</span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> </p><p><a href="https://youtu.be/LLkbzt4ms6M" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/LLkbzt4ms6M</span><span class="invisible"></span></a></p>
Christopher League<p>Reactivating — Hello! I’m into:<br>• Functional programming, especially <a href="https://scholar.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a>, <a href="https://scholar.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a>, <a href="https://scholar.social/tags/elmlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>elmlang</span></a>, <a href="https://scholar.social/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>purescript</span></a><br>• Proof systems & software correctness tools <a href="https://scholar.social/tags/coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coq</span></a>, <a href="https://scholar.social/tags/idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>idris</span></a>, <a href="https://scholar.social/tags/agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>agda</span></a>, <a href="https://scholar.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rustlang</span></a><br>• Scientific data acquisition & analysis, <a href="https://scholar.social/tags/gpu" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gpu</span></a> frameworks<br>• Reproducible builds, <a href="https://scholar.social/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nixos</span></a>, <a href="https://scholar.social/tags/nixpkgs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nixpkgs</span></a><br>• Non-traditional families (<a href="https://scholar.social/tags/queer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>queer</span></a>, interracial)<br>• <a href="https://scholar.social/tags/ADHD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ADHD</span></a> strategies & other <a href="https://scholar.social/tags/neurodivergent" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurodivergent</span></a> perspectives<br>• Black natural hair care, for Ms. 7yo<br>• <a href="https://scholar.social/tags/Classical" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Classical</span></a> & electronic music, dabbling at piano as a busy adult</p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload