fibs = Data.Function.fix $ (0 :) . scanl (+) 1
Actually, that's for my old favorite. I don't have a idealized one-liner for #Idris or #PureScript yet.
fibs = Data.Function.fix $ (0 :) . scanl (+) 1
Actually, that's for my old favorite. I don't have a idealized one-liner for #Idris or #PureScript yet.
Is there a way to have #PureScript call DOM functions on #Halogen 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.
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 #Cxx among others. I can be productive in almost any language (no PHP, please; I promised myself never again).
@jrychter @cdwilson else I‘d like TOML
#dhall looks interesting too, but I'm not sure if it's still active. Spago, the #purescript build system, used it, but I think they changed to YAML.
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.)
Playing around with #DependentTypes and started writing a (currently pretty silly) #Singletons library port for #PureScript - https://forge.id1.in/aj/purescript-singletons/
#Haskell #FunctionalProgramming
@rzeta0 It's written in #Purescript -- the syntax is somewhat similar tho, so you might understand: https://gitlab.com/bss03/halogen-lambda/-/blob/main/src/Eval.purs?ref_type=heads
Come join us for another day of geeking out over functional programming! The FPIndia May meetup is here!
https://hasgeek.com/fpindia/bangalore-fp-may-meetup/
#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala
Come join us for another day of geeking out over functional programming! The FPIndia May meetup is here!
https://hasgeek.com/fpindia/bangalore-fp-may-meetup/
#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala
Come join us for another day of geeking out over functional programming! The FPIndia May meetup is here!
https://hasgeek.com/fpindia/bangalore-fp-may-meetup/
#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala
Is there any org in #Bangalore that would like to lend their space for an #FPIndia meetup? Please dm
#India #FunctionalProgramming #Meetup #Haskell #PureScript #Erlang #Elixir #OCaml #Scala #Clojure
If you want to learn #Haskell, and are not allergic to frontend development, start with #PureScript.
Yes, the tooling situation in Haskell is that bad, and it will actively prevent you from focusing on learning. PureScript meanwhile is basically Haskell, and fantastic and modern in every way.
You will thank me
@cafkafk have you looked at #PureScript
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.
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 #FediHired ?
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 #Haskell or try out #PureScript in production, or even something more exotic like #Agda or #Idris
Full stack #PureScript
Ready to geek out over functional programming? Join us for the upcoming FPIndia Bangalore meetup!
https://hasgeek.com/fpindia/bangalore-fp-april-meetup/
#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala
@xyhhx I’m an absolute hack but I find myself standing on the shoulders of giants that stand on the shoulders of giants that stand on the shoulder of giants that stand on the….
I’d absolutely love to get into anything you might be wondering about. I eventually switched to it because it made more sense as someone that loved calculus in high school. #functionalprogramming
Here’s a cool intro video I watched the other day about my pet language #purescript
https://redirect.invidious.io/watch?v=G01lKh8K9KY
Why would people use other programming languages for frontend dev when #PureScript is just right there?
#FunctionalProgramming
I wrote a small #PureScript DSL to compute taxes. Why?
1. Tax season is here, and all the online calculators are terrible!
2. The Indian tax code has different "tax regimes" that you can opt for and I wanted to compare how the tax liability changes with your choice. Hence a DSL, and not merely a calculator.
3. Writing a tax calculator is the best way to understand the nuances of the tax code.
4. Writing DSLs is fun!
Code here - https://forge.id1.in/aj/purescript-taxes
#India #Taxes #TaxCalculation #FunctionalProgramming