#developers - how do you make a decision about which language to use?

I have a private project with a pal - no timeframe on it, we're very much doing it 'for fun'. We could whip it up with #Python fairly easily but we're keen to try out new stuff.

We talked about #PHP but neither of us are very enthusiastic.

We've settled on building the first step in #Rust, #Haskell and Python - to give ourselves an idea of which one looks like fun.

So the question, really - if you're starting a project and there's no clear reason to use language a over b, how to you make that decision?

You can compute Pascal's triangle in 2 (3) lines of #haskell and I think it's beautiful.

pascal :: [[Integer]]
pascal = iterate getNext [1]
where getNext prev = 1 : zipWith (+) prev (tail prev) ++ [1]

Left recursive parser combinators via sharing. ~ Joachim Breitner (@nomeata). https://www.joachim-breitner.de/blog/807-Left_recursive_parser_combinators_via_sharing #Haskell #FunctionalProgramming

On that note: Do people with a native language that reads right-to-left like #Arabic, #Japanese or #Chinese actually find #FunctionalProgramming languages like :haskell: #Haskell easier to read? 🤔

Haskell setup

How I do Haskell.

https://sagenhaft.space/posts/haskellsetup/

#haskell

I am unsure whether to learn :rust: #Rust or :haskell: #Haskell next. (Not that I have time to, but one may dream, right? 😉).

Knowing Haskell would allow me to contribute to some software I deeply care about (#hledger, :gitannex: #gitAnnex). Rust on the other hand looks *much* easier to get going with coming from #Python (and embedded #C / #Cpp). Its cargo toolchain and ecosystem also looks nicer, plus easier availability on all architectures (aarch64!).

#Exercitium: Problema de las jarras. https://www.glc.us.es/~jalonso/exercitium/09-sep-23/ #Haskell #Python #Algorítmica

Oh this exception in #haskell is not like a SIGKILL?!

We humans started using monads over 71,000 years ago. That's interesting (iff that was true) #haskell

GHC plugin for HLint. ~ Gabriella Gonzalez (@GabriellaG439). https://www.haskellforall.com/2023/09/ghc-plugin-for-hlint.html #Haskell #FunctionalProgramming

Snake-fury – a challenge for Haskell beginners

Link: https://github.com/lsmor/snake-fury
Discussion: https://news.ycombinator.com/item?id=37417646

#haskell

God writes Haskell

Link: https://hookrace.net/blog/god-writes-haskell/
Discussion: https://news.ycombinator.com/item?id=37414624

#haskell

FizzBuzz problem in #haskell using Monoid: https://play.haskell.org/saved/w5eivspu

Has anyone here used #Zed, the spiritual successor to Atom? I'm curious how the experience is. I recently use #Haskell and #Deno, and was wondering if it is fine with those two languages in particular.

Asking the hard questions now: how come there is no infix operator for traverse in Haskell?

#haskell #traverse #itsTraverse

Don’t go down the rabbit hole: Reprioritizing enumeration for property-based testing. ~ Segev Elazar Mittelman et als. https://dl.acm.org/doi/pdf/10.1145/3609026.3609730 #Haskell #FunctionalProgramming

The essence of reactivity. ~ Ivan Perez, Frank Dedden. https://dl.acm.org/doi/pdf/10.1145/3609026.3609727 #Haskell #FunctionalProgramming

Haskell library for safer virtual machine introspection (experience report). ~ Takato Otsuka, Hideya Iwasaki. https://dl.acm.org/doi/pdf/10.1145/3609026.3609732 #Haskell #FunctionalProgramming

#haskell #haskell_cicada

Connected Magic Squares (Part 5)

Impossibility of a magic square that is also orthogonally connected. Part 5

https://sagenhaft.space/posts/magicsquare5/

The proceedings for TFP'23 are now available and include our paper on a monadic ISA model for the #RISCV architecture written in #Haskell. The model is specifically designed to ease the creation of binary analysis tools. This is achieved by building such tools on top of the presented formal model as custom ISA interpreters. As an example, the paper includes a case study for performing dynamic information flow tracking on RISC-V binary code: https://doi.org/10.1007/978-3-031-38938-2_2

PDF: https://agra.informatik.uni-bremen.de/doc/konf/TFP23_ST.pdf