Elm retweeted
Now available for ACM Members: "Programming Language Fundamentals: A Metalanguage Approach in Elm," by Martin Erwig. For undergraduate students in CS, as well as researchers and practitioners working with programming languages. This book is an intro...
share.percipio.com/cd/0FLnChWtn
share.percipio.com/cd/0FLnChWtn
2
9
38
1,487
More progress on the road to Elm 1.0!
See the rough roadmap here: elm-lang.org/news/another-s…
We have a few patch releases lined up, and then we can get to the more exciting improvements that are enabled by having end-to-end types with Acadia databases!
See the rough roadmap here: elm-lang.org/news/another-s…
We have a few patch releases lined up, and then we can get to the more exciting improvements that are enabled by having end-to-end types with Acadia databases!
4
14
94
3,833
Elm retweeted
Elm 0.19.3 is out today!
✨ elm-lang.org/news/another-s… ✨
Explains the rough roadmap for the next few releases. We are preparing for some exciting improvements and features! 😊
✨ elm-lang.org/news/another-s… ✨
Explains the rough roadmap for the next few releases. We are preparing for some exciting improvements and features! 😊
16
88
431
17,920
Elm retweeted
Defining row-level security policies can be simple and efficient!
✨ acadia.engineering/blog/simple-an… ✨
Acadia even does "symbolic evaluation" at compile time so that in many cases, you pay zero runtime cost for your security guarantees!
The example app runs an Elm server too! 🚄
✨ acadia.engineering/blog/simple-an… ✨
Acadia even does "symbolic evaluation" at compile time so that in many cases, you pay zero runtime cost for your security guarantees!
The example app runs an Elm server too! 🚄
2
12
50
3,168
Elm retweeted
Run an Elm program as a simple HTTP server!
✨ github.com/acadia-enginee… ✨
Check out the full client/server/database example written in Elm/Acadia, and please share your results if you evolve it into something cool!
Very curious to see what you can make!
✨ github.com/acadia-enginee… ✨
Check out the full client/server/database example written in Elm/Acadia, and please share your results if you evolve it into something cool!
Very curious to see what you can make!
9
41
260
13,368
Elm retweeted
Acadia gives some interesting guarantees:
- No 1+N queries.
- All queries terminate.
Learn how a query language from the 1970s (Datalog) inspired the key design choices that make these guarantees possible in Acadia's query language! acadia.engineering/blog/solving-t…
- No 1+N queries.
- All queries terminate.
Learn how a query language from the 1970s (Datalog) inspired the key design choices that make these guarantees possible in Acadia's query language! acadia.engineering/blog/solving-t…
2
22
159
14,038
Elm retweeted
Acadia is out today! Bringing the benefits of @elmlang to SQLite and PostgreSQL:
- Friendly error messages
- Custom types for precise column data
- Simple module system for easy reuse
Check it out! acadia.engineering/blog/rethinkin…
- Friendly error messages
- Custom types for precise column data
- Simple module system for easy reuse
Check it out! acadia.engineering/blog/rethinkin…
29
137
676
72,879
Elm retweeted
Wrote about new features in elm-physics discourse.elm-lang.org/t/3d-physics-e…
0
2
11
968
Elm retweeted
New @elmlang release today!
🎉 0.19.2 🥳
Incremental builds of 850k lines of Elm in <350ms. Gearing up for a batch of smaller releases as we head towards Elm 1.0.
elm-lang.org/news/faster-bu…
🎉 0.19.2 🥳
Incremental builds of 850k lines of Elm in <350ms. Gearing up for a batch of smaller releases as we head towards Elm 1.0.
elm-lang.org/news/faster-bu…
23
67
369
27,995
Elm retweeted
You all saw the ad for the Brilliant app, right? It's on almost every tech video. But did you know that it's built with Elm? Great talk from @evancz covering several strategies on how to grow more functional programmers 🌳 #elm youtu.be/9OtN4iiFBsQ
3
3
20
3,193
Elm retweeted
My Japanese teacher wanted us to learn the prefectures from Japan so I did another game in @elmlang to help me memorise them! Enjoy! 🗾 @japonesaldia elm-japan.netlify.app
1
4
21
2,650
Elm retweeted
Bosses ask "but how will I hire functional programmers?"
I talked to companies that made a lot of money using @elmlang to learn what they did.
Turns out it is easy to replicate, and provides a path for languages like Haskell, OCaml, and Scala as well.
youtu.be/9OtN4iiFBsQ
I talked to companies that made a lot of money using @elmlang to learn what they did.
Turns out it is easy to replicate, and provides a path for languages like Haskell, OCaml, and Scala as well.
youtu.be/9OtN4iiFBsQ
3
12
46
19,687
Elm retweeted
Many programmers would love to use "productivity languages" like @elmlang, but what about the business person who often makes the final decision?
How can we rethink our strategies such that authors, developers, and businesses grow stronger together? 🔄
youtu.be/YPAaUFGrlEE
How can we rethink our strategies such that authors, developers, and businesses grow stronger together? 🔄
youtu.be/YPAaUFGrlEE
6
22
112
21,156
Elm retweeted
Creative coding in @elmlang.
Using @ianemackenzie's elm-3d-scene.
All examples and their source code: erkal.github.io
Using @ianemackenzie's elm-3d-scene.
All examples and their source code: erkal.github.io
2
15
83
7,611
Elm retweeted
Elm Charts looks so good you'll want to find a project for it
New release of elm-charts today!
👋 Great support for interactivity
👯♀️ Mixed chart types
❣️ Easily add irregular details
🖼 Tons of examples
Check it out at elm-charts.org!
0
6
34
8,157
Elm retweeted
Day 3 features a green hat, which is backwards because I’m a very cool guy 🧢 #AdventOfCode #Hat
youtu.be/AObdxyeg0c0
youtu.be/AObdxyeg0c0
1
3
13
4,646
Elm retweeted
Day 2 is now live! If you’re new to Elm, these #AdventOfCode videos are designed just for you 🎁
youtu.be/xmHT8j2F6CE
youtu.be/xmHT8j2F6CE
1
3
11
4,130

















