teoten · @teoten
94 followers · 125 posts · Server social.linux.pizza

I was experimenting with during the weekend, and I kind of fell in love. Is it normal? 😵‍💫

#elm #elmlang

Last updated 1 year ago

Ruhrpott-Pilze · @RPilze
14 followers · 171 posts · Server masto.nu
Richard Jones · @rlcj
666 followers · 622 posts · Server mstdn.social

La Pieta (Ossip Zadkine, 1955-57). Painted . In the golden limestone crypt of Saint-Laurens, Les Arques, .

#Art #Religion #virtues #France #lot #Romanesque #sculpture #wood #elm

Last updated 1 year ago

amen zwa, esq. · @AmenZwa
146 followers · 1477 posts · Server mathstodon.xyz

is perhaps the most sophisticated ever created.

That may well sound like an oxymoronic statement by an oxygenated moron. But it is true. It behooves all undergraduates to study this little pure jewel. elm-lang.org

Yes, Elm is a web front-end DSL. But it is not a requirement to place that yoke upon one's shoulders. REPL, \(\texttt{elm-test}\), and other command-line tools enable local, off-the-web work.

Besides, these youngsters will have to grapple with web development the moment they enter . So, they might as well get started on it—the proper way in Elm—while still in the nurturing environment of school.

#it #fp #cs #dsl #elm

Last updated 1 year ago

Felix · @leobm
299 followers · 4424 posts · Server norden.social

@fosskers I would adapt my code a bit because of some good ideas from @barubary code examples.
but actually otherwise find in for/next loop actually quite good. What I don't like so much when connecting different map/grep calls to each other is that you have to read the algorithm from the end. I wish there was something like 's ==> or /#elixir |> or 's ->/->> chaining (operator) functions in .

#haskell #elm #clojure #perl

Last updated 1 year ago

amen zwa, esq. · @AmenZwa
142 followers · 1464 posts · Server mathstodon.xyz

I griped in the README of my (purely functional data structures) project that the language does not have inner functions. Today, Eniac314 on pointed out my mistake. I've updated the README and converted the auxiliary functions in my code to inner functions.

My apologies to Elm. And thank you, Eniac314.

github.com/amenzwa/pfd

#github #pfd #elm

Last updated 1 year ago

Kai · @kboever
229 followers · 4310 posts · Server social.anoxinon.de

Technischer Stammtisch in vom VDE am 13.09. ab 18:00 Uhr. Das erste mal in Schöppenstedt.

#schoppenstedt #elm #asse

Last updated 1 year ago

AboveBelmont · @planeboston
37 followers · 25744 posts · Server airwaves.social
blaix · @blaix
38 followers · 358 posts · Server hachyderm.io

It's happening! github.com/gren-lang/node/pull

I've been wanting this for a long time. An HTTP server API for @gren_lang, a nice, simple, purely functional language in the style of and that compiles to for the browser and node.

Very basic for now, but hoping to build on this as I start using it for some full stack gren projects.

#elm #haskell #javascript

Last updated 1 year ago

Roman Bardt · @bardt
28 followers · 468 posts · Server mas.to

I’m trying out Zed lately as a replacement for and I think it’s great! Native and fast, with some smart workflow decisions (like editable multibuffer or temporarily expandable panels) and with Copilot/ChatGPT built in. I feel at ease and highly productive when I use it.

It doesn't yet support some of the languages I use at work ( and ), but and support is great.

And the docs are well written, check them out!

zed.dev

#Rust #typescript #fsharp #elm #sublimetext #codeeditor

Last updated 1 year ago

amen zwa, esq. · @AmenZwa
125 followers · 1354 posts · Server mathstodon.xyz

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

These are Elm reimplementations of the data structures presented in the book " " (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 and 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 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 languages
• Elm is sane
• These properties make Elm a good candidate for use in 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 . 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 undergraduate students.

github.com/amenzwa/pfd

#mentalhealth #cs #fp #haskell #standardml #datastructures #functional #purely #elm

Last updated 1 year ago

amen zwa, esq. · @AmenZwa
124 followers · 1341 posts · Server mathstodon.xyz

in languages treat programmers with a laconic disdain. The type checker in , however, encourages programmers to do better, and provides clear, cogent, constructive critiques. This makes Elm a good candidate in which to study FP, perhaps even as the first language.

Most of all, I view Elm as a pragmatic language in which to teach students disciplined web development, after they have learned FP in Haskell, OCaml, or Standard ML.

#cs #programming #elm #fp #typecheckers

Last updated 1 year ago

Fabián Vega Alcota · @fabianveal
11 followers · 5 posts · Server techhub.social

**Check out my new game! The Wizard Frogy** 🐸🪄⭐

- Play it here → the-wizard-frogy.netlify.app
- Report bugs or contribute → github.com/FabianVegaA/The-Wiz

A fun and challenging game where you control a wizard frog to eat stars.

**Who can get the highest score?**

I hope you enjoy it!

#elm

Last updated 1 year ago

Perma · @prma
211 followers · 32 posts · Server fosstodon.org

When it comes to local first web applications, is better, worse, or the same as things like , and ?

I want to create a front end that would work local-first with a rust core/backend.

#htmx #solidjs #Leptos #elm

Last updated 1 year ago

Mika · @mika
47 followers · 22 posts · Server abc.mika.xyz

Still exploring these. Not sure what exactly is happening here but it feels like progress. Whatever that is when the goal is a bit fuzzy.

#elmlang #elm #webgl #gamedev #creativecoding

Last updated 1 year ago

Adrian Schönig :Koala: · @nighthawk
277 followers · 886 posts · Server aus.social

@kafran @alexito4 I also like the additional doze of bird watching photos. Similar thing with following and getting occasional photos of trees in my feed. 🌲🐦

#elm

Last updated 1 year ago

Near my house there is an . Someone, presumably a tree surgeon, has taken a very neat ring of bark off at about waist height. Does anyone know why you might do that?

#elm #tree

Last updated 1 year ago

Jakob · @ilikeorangutans
8 followers · 44 posts · Server fosstodon.org

I wrote my second app and I'm just in awe how nice it is. Just a small, self contained single page app and still a total noob but the fact that I built this and after some struggle with the compiler it... just works. This is what building software should be.

#elm

Last updated 1 year ago

def dave(self): · @dneaves
12 followers · 178 posts · Server fosstodon.org

New blog post!

How Writing Code in Changed How I Want to Write Code in

dneaves-blog.lamdera.app/1

#elm #python

Last updated 1 year ago

David Sousa-Rodrigues · @sixhat
5 followers · 2 posts · Server datasci.social

Trying to decide between Svelte or Elm for my next "toy app" but don't have time to learn both before summer holidays.

#svelte #elm #programming

Last updated 1 year ago