The #BEAM VM was designed, from the start, for the #functional #programming language Erlang. The JVM and the CLR were designed for objective languages, Java and C#, respectively. Yet, most new functional languages target JVM and CLR, and relatively few target BEAM. Odd....

https://github.com/llaisdy/beam_languages

Postdoc fellow- Computational Biology, University of Chicago

University of Chicago

Come join us at #UChicago as a #bioinformatics postdoc, working on #human genetics and #functional genomics.

See the full job description on jobRxiv: https://jobrxiv.org/job/university-of-chicago-27778-postdoc-fellow-computational-biology-university-of-chicago/?feed_id=58153

#Scienc...
https://jobrxiv.org/job/university-of-chicago-27778-postdoc-fellow-computational-biology-university-of-chicago/?feed_id=58153

"Learn Physics with #Functional #Programming" #book https://discourse.haskell.org/t/book-learn-physics-with-functional-programming/7533/4

Interesting

https://www.baeldung.com/java-functional-programming

#java #functional #programming

I just published "PDF: purely functional data structures in #Elm" on GitHub.

These are Elm reimplementations of the data structures presented in the book "#Purely #Functional #DataStructures" (1999) by Prof. Okasaki. It is the only one of its kid that I am aware. It is a tour de force of functional thinking. The book includes #StandardML and #Haskell implementations.

Okasaki is a descendant of the ML tradition. His PhD advisor at CMU during the mid 1990s was Prof. Harper who wrote "Programming in Standard ML" (2011), contributed to the definition of the language, and was a member of the ML posse, alongside Milner, Tofte, Reppy, MacQueen, et al.

I chose #Elm for the following reasons:

• Elm is a purely functional language
• Elm does not yet have a comprehensive library of data structures
• Elm evolves at a deliberate pace, with subsuming to the modern CI/CD pipeline pressure
• Elm is one of the simplest #FP languages
• Elm is sane
• These properties make Elm a good candidate for use in #CS education, for teaching FP, for teaching data structures, and for teaching disciplined web programming, and a comprehensive collection of data structures could be of use in undergraduate education

An unstated, but no less important, reason for my choosing Elm is Python fatigue. I currently use Python at work, and I am also expanding my "CLRS algorithms in Jupyter notebooks" project. I like Python, but many hours of Python a day is deleterious to my #MentalHealth. Elm is both the prophylactic and the cure.

Please note that both PDF and CLRS are my solo projects, and they are works in progress that grow incrementally. Both projects aim to help #CS undergraduate students.

https://github.com/amenzwa/pfd

Trendy,Functional,and Space-Saving:Discover the Extendable Dining Table! #trendy #functional

When I write #programmes in the #functional style (for clarity) using an essentially imperative language, like Python, I don't have a qualm mutating variables all over the code.

But when I write in the #procedural style code (for efficiency) in an essentially declarative language, like OCaml, I feel guilty every time I had to mutate a variable and whenever I had to read that code again.

Those of us who use #functional #programming languages—we call ourselves "functional programmers".

What should we call those who use procedural and objective languages: "dysfunctional programmers"?

As a teen, I wrote my first toy programmes in 6502 assembly. Immediately there after, I learned FORTRAN, C, and Pascal in quick succession. I was as happy an #imperative #programmer as one could get.

Then, in college in the early 1980s, I was introduced to LISP, Scheme, and ML, along with the #declarative paradigm. In those days, I felt guilty, whenever I caught myself thinking in the imperative way, which was mighty tempting in LISP and Scheme.

As decades wore on, my view of #procedural and #functional has soften from a "dichotomy" to an "admixture". I'm no longer purely procedural nor any longer am I purely functional; I'm now just purely pragmatic.

This is also the reason why all modern languages are OO-FP hybrids.

#introduction time!

I love #programming, I do it since *redacted* years, especially interested in #functional languages and in general about software architecture.

Started to accumulate some #gamedev experience inside @owofgames .

I have strong opinions about games and game culture, but I'll mostly post about technical stuff in here.
(probably)
(maybe)
(well, i guess my current propic already says a lot)

#Teaching #functional #programming to industry peers and graduate students in academia is mighty rewarding. But having to teach FP to junior IT programmers and novice CS students can be quite frustrating.

In #computing, deep experience and broad perspective matter much, much more than possessing mere skills.

seesaw fortunes of #functional #programming:

• 1930s: ↑ 𝜆-calculus
• 1940s: ↓ Turing Machine
• 1950s: ↑ LISP
• 1960s: ↓ ALGOL
• 1970s: ↑ rule-based AI craze
• 1980s: ↓ C, C++, Objective-C
• 1990s: ↑ OCaml, Haskell
• 2000s: ↓ Java, C#
• 2010s: ↑ FRP craze
• 2020s: ↓ Nim, Zig, Odin, V, Z, ...

We all know and love those classic textbooks on #algorithms, like Knuth, CLR, Sedgewick, etc. But these traditional texts lean toward the #imperative approach, when describing implementations. It is uncommon to see books focused on the #functional approach to algorithm implementation. The following are a few of my favourites on functional algorithms and functional data structures:

• Algorithms: A Functional Programming Approach, Rabhi
• Pearls of Functional Algorithm Design (Haskell), Bird
• Purely Functional Data Structures (Standard ML), Okasaki
• Functional Programming and Graph Algorithms, King
• Functional Data Structures and Algorithms: A Proof Assistant Approach, Nipkow

The only thing Go is missing to be a good #functional language is a concise syntax for lambda expressions. It already has generics, polymorphism, first-class functions and basic type inference, and immutable data structures aren't hard to build. Just compare:

#golang:
arr.Map(function(x int) int { return x*2 })

#rust:
arr.map(|x| x*2)

I know it was never designed to be functional, but such a small syntax sugar can do such a big difference.

Organize thyself. The tricks and the accoutrement.

https://tinyurl.com/2y3hlzjr

#Organization #NeatHome #Neaty #Functional

What is the reason why this language has so little attention? Restrictive licensing conditions ? Can someone explain this to me? Basically this language looks like a wet dream to me....
#shen #lisp #erlang #prolog #functional

📖 🐫 #OCaml Programming: Correct + Efficient + Beautiful
https://cs3110.github.io/textbook/cover.html
#CS3110 Data Structures and #Functional #Programming at Cornell University.
thanks https://lobste.rs/s/awegaq/ocaml_programming_correct_efficient
¹ https://mro.name/atrru8a

My partner and I desperately need #MentalHealth #therapy both individually and as a couple. This is yet another delightful #feature of #poverty; we're too #poor to get the help we need to function like normal adults, and we're not stable or #functional enough to maintain the kind of #income necessary to pay for thorough, effective #psychotherapy.

#lispgamejam Day 2th #gopher phost: gopher://tilde.institute/0/~screwtape/208208642-2-devlog.txt
#game #lisp #source #CommonLisp
gopher://tilde.institute/1/~screwtape/2023-lisp-game-jam/2-jam-no-theme/
itchi.io (ask the jam people) Wost mirror:
https://lispy-gopher-show.itch.io/jam-no-theme/devlog/537538/lisp-game-jam-2-squeaky-clean-grid-drawing-edition
Evidently 60 characters is the display convention on web sites.
#functional #disappointlyHygeinic #functionalInAnotherSenseAsWell

We shall meet again! 7th June, 7pm at Weinstube Josefstadt.

Info & RVSP ➡️ https://www.meetup.com/clojure-vienna/events/293716269/

#clojure #meetup #vienna #functional