Jose_A_Alonso, Principles of dependent type theory. ~ Carlo Angiuli and Daniel Gratzer (@danielgratzer). https://www.danielgratzer.com/courses/type-theory-s-2024/lecture-notes.pdf #TypeTheory #FunctionalProgramming
Jose_A_Alonso, Free foil: Generating efficient and scope-safe abstract syntax. ~ Nikolai Kudasov, Renata Shakirova, Egor Shalagin, Karina Tyulebaeva. https://arxiv.org/abs/2405.16384 #FunctionalProgramming #Haskell
jbzfn,
frankel, Frunk, #FunctionalProgramming toolbelt in #Rust
Jose_A_Alonso, The ultimate guide to Haskell Strings. ~ Julian Ospald. https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html #FunctionalProgramming #Haskell
jbzfn, 🐫 Pretty Printing in OCaml: A Format Primer
➥ Vladimir Keleshevhttps://keleshev.com/pretty-printing-in-ocaml-a-format-primer
jbzfn, 「 CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself 」
furmans, We are super glad to inform you that LAMBDA WORLD CADIZ is BACK...
🗓️2-4 October 2024
📌Palacio de Congresos de Cadiz
🎟️Early Camarón at €150
🪩lambda.world#functionalprogramming #Scala #Erlang #Haskell #Clojure #Kotlin #fsharp
Should the best Rock-Funky-Hard SolYNaranjaS band make a noise there...? Should not ?
Jose_A_Alonso, Benefits of functional programming. ~ Ada Beat. https://adabeat.com/fp/benefits-of-functional-programming/ #FunctionalProgramming
Jose_A_Alonso, Getting your Haskell executable statically linked with Nix. ~ Tom Sydney Kerckhove. https://cs-syd.eu/posts/2024-04-20-static-linking-haskell-nix #FunctionalProgramming #Haskell #Nix
bart, fp-ts brought advanced #FunctionalProgramming to #TypeScript. Now a related project implementing an effect system for TypeScript (effect-ts) seems to have gotten a lot of VC money. Interesting... Docs look very polished, not sure how they will make money though.
abnv, #FunctionalProgramming alignment chart. via @haskman
#programming #alignmentchart
haskman, @feld @abnv Okay, let me try to explain my thinking a bit -
A caveat - if I were to make this chart today, I would swap the positions of Erlang and Rust.
Keeping that in mind, I made this chart so that each axis broadly makes sense. Lawful languages tend to stick to rules and the only surprises are usually how much of a stickler for rules they are. Chaotic languages on the other hand, love their quirks / special cases. "Good" languages are usually languages with academic backgrounds, whereas "Evil" languages sacrifice some ideals for practicality.
With those definitions, the alignment for each language broadly makes sense to me. Lisp for example, is an academic language, yet a hackers tool, quirky, yet very regular. Hence true neutral.
feld,
haskell_foundation, Graham Hutton, in collaboration with the University of Nottingham, brings you the Advanced #FunctionalProgramming in #Haskell course. Dive into a treasure trove of freely available videos to elevate your Haskell skills. Enjoy the playlist here: https://www.youtube.com/playlist?list=PLF1Z-APd9zK5uFc8FKr_di9bfsYv8-lbc
Jose_A_Alonso, Quasiquotation with binders: A Lean metaprogramming example. ~ David Thrane Christiansen (@d_christiansen). https://lean-lang.org/blog/2024-3-21-quasiquotation-with-binders-a-lean-metaprogramming-example#ITP #LeanProver #Lean4 #FunctionalProgramming
brokenix, Implement web servers using lenses #functionalprogramming
dependent types
https://github.com/ska80/idris2-server?tab=readme-ov-file
alexelcu, #FunctionalProgramming will make you build better software, regardless of language. Some understated effects:
‣ Prefer params to global state
‣ Prefer data pipelines to fragile state mutation
‣ Prefer clear responsibilities for components
‣ Make dangerous side effects visible.
jbzfn, 🤝 Ending the war or continuing it? Let's bring functional programming to OOP codebases | Cherry Ramatis
worldsendless, I'm looking for recent books or up-to-date text on #FunctionalProgramming with PHP. #PHP is changing rapidly and all the books I see are nearly a decade old. Any good recommendations? #FP
worldsendless, @Crell I did look at yours, but Stack Overflow errors have taught me the hard way that PHP has changed a lot recently. Isn't much of PHP different since you wrote the book?
Crell, @worldsendless There's a number of very cool improvements to the language, yes. Whether they impact the FP story is the question.
Enums are new. Readonly makes value objects easier, as does constructor promotion. The mixed type is nice in a few cases. Union types don't matter for FP, and neither do attributes.
The core FP story hasn't really changed in the last 4 years. Had any of the FP based RFCs I submitted passed, that would be different, but... They all got blocked.
jbzfn, :patcat: Why I love Elm.
➥ Sufiyan Yusuf「 The biggest reason I love Elm is that it changed my perspective on programming.
As someone who aspires to be a code craftsman, this is the biggest reason to learn Elm. Crazy story - I tried really hard to bring the Elm architecture with me when I started a project in Rust. It really makes you think about what goes into building deterministic systems 」
https://sufiyan.substack.com/p/why-i-love-elm?r=aaxsb&s=w
jbzfn, :thinkerguns: Why is Elm such a delightful programming language?
➥ Marcio Frayze「 Elm is a pure functional programming language with immutable data structure, soundness type system, currying, and blah blah blah. But instead, the author preferred to highlight his real intention: to create a safe language that web developers feel pleasure in using it. The rest is a consequence of that! 」
https://dev.to/marciofrayze/why-is-elm-such-a-delightful-programming-language-2em8
abnv, I learned #FunctionalProgramming to escape the imperative programming languages, which in turn got me interested into #Compilers and #ProgrammingLanguages. Turns out, most of the real-world compilers are written in C and C++, so here I am back at square one.
After years of avoiding it for decades, I taught myself #Cpp in the last couple of weeks. So anyway, does anyone want me to write a series of #blog posts about making a #Lisp interpreter (https://github.com/kanaka/mal) in C++?
nil, @abnv I am voting yes for the blog posts! The other irony of sufficiently high level functional programming is that you want it to seem imperative on the surface! Like cursors in reagent/cljs letting you imagine you have variables/registers even though it’s a single atom under the covers. I am sure the Haskell lens paradigm from whence cursors came is even more elegant. Monadic even.
mavnn, I may have got a bit carried away writing a blog post presenting both a really practical way with a nice developer experience of handling asynchronous operations that might fail in TypeScript... and a "write your own monad in TypeScript" tutorial.
If you're interested in #FunctionalProgramming, #typescript, or both - please share. I think the techniques in this post can really make writing TS a lot more enjoyable, and the results more reliable.
https://blog.mavnn.co.uk/2024/02/19/do-notation-for-typescript.html
haskman, #FunctionalProgramming people on #Lemmy: I am now moderating the #PureScript and #Haskell communities on Programming.dev.
The best part is that you can also (sort of) follow them from #Mastodon. Search for the following URLs in your mastodon client
https://programming.dev/c/purescript, and https://programming.dev/c/haskell
See you there!
shakthimaan, Introduction for OCaml, a blog post for developers that want to dig into OCaml by @emil_priver https://priver.dev/blog/ocaml/ocaml-introduction/ #OCaml #FunctionalProgramming #Community
__sharky__, This chapter took me a while and I need to reimplement it again. I think translate-codon should use a map . Having to wrap codons with codon-strings does not feel right , but I don't understand what partition returns.
Not sure about throw-away maybe a recursion is too much for this ? Maybe there are other built-ins I can use.
Using map more than once does not feel right. I think processing one rna a time would make it more simple.
mykhaylo, @__sharky__ and use recur instead of function name for recursion, it will do some tail call optimization
mykhaylo, @__sharky__ also just (map str codons)