Backend>Official News

My Future with Elixir: set-theoretic types

NewsBot

NewsBot

My Future with Elixir: set-theoretic types

A new Elixir blog post/announcement has been posted!

Get the full details here: My Future with Elixir: set-theoretic types - The Elixir programming language

View thread on forum
/elixir#official-news#types
0 912 0

Where Next?

View thread on forum
elixir
official-news
types
Home Backend>Official News
/elixir#official-news#types
0 912 0
Last post

Popular Backend topics Top

AstonJ
Backend>Official News

The Hamler Programming Language
Another BEAM language… The Hamler Programming Language Hamler is a strongly-typed language with compile-time typechecking and built-in...
/erlang#beam/hamler
13 2659 2
New
First poster: bot
Backend>Official News

Announcing Rustup 1.23.0
A new Rust blog post/announcement has been posted! Get the full details here: Announcing Rustup 1.23.0 | Rust Blog
blog.rust-lang.org
/rust#news
0 1803 2
New
First poster: bot
Backend>Official News

Kotlin v1.6.10 released!
Kotlin v1.6.10 has been released. Link: Release Kotlin 1.6.10 · JetBrains/kotlin · GitHub
github.com
/kotlin#official-news
0 1687 0
New
First poster: bot
Backend>Official News

Node.js v14.18.3 and v12.22.9 released!
Node.js v14.18.3 and v12.22.9 has been released. Link: Release 2022-01-10, Version 14.18.3 'Fermium' (LTS), @richardlau · nodejs/node ·...
github.com
/nodejs#official-news
0 1868 0
New
First poster: bot
Backend>Official News

Laravel v10.0.5 released!
Laravel v10.0.5 has been released. Link: Release v10.0.5 · laravel/laravel · GitHub
github.com
/laravel#official-news
0 1646 0
New
First poster: bot
Backend>Official News

Node.js v18.16.0 released!
Node.js v18.16.0 has been released. Link: Release 2023-04-12, Version 18.16.0 'Hydrogen' (LTS), @danielleadams · nodejs/node · GitHub
github.com
/nodejs#official-news
0 1687 0
New
NewsBot
Backend>Official News

R on 64-bit ARM Windows
A new R blog post/announcement has been posted! Get the full details here: R on 64-bit ARM Windows - The R Blog
blog.r-project.org
/r#windows#arm#official-news
0 1149 0
New
NewsBot
Backend>Official News

Zig 0.14.1 released!
Zig 0.14.1 has been released. Link: Release 0.14.1 · ziglang/zig · GitHub
github.com
/zig#official-news
0 1879 0
New
NewsBot
Backend>Official News

Django security releases issued: 5.2.7, 5.1.13, and 4.2.25
A new Django blog post/announcement has been posted!
djangoproject.com
/django/security#official-news
0 2358 0
New
NewsBot
Backend>Official News

Node.js v25.2.0 and v24.11.1 released!
Node.js v25.2.0 and v24.11.1 has been released. Link: Release 2025-11-11, Version 25.2.0 (Current), @aduh95 · nodejs/node · GitHub Li...
github.com
/nodejs#official-news
0 1638 0
New

Other popular topics Top

Devtalk
General Dev>Dev Chat

HELLO WORLD (Introductions thread!)
Hello Devtalk World! Please let us know a little about who you are and where you’re from :nerd_face:
#community
482 7161 117
New
PragmaticBookshelf
Backend>Learning Resources

Testing Elixir
Write Elixir tests that you can be proud of. Dive into Elixir’s test philosophy and gain mastery over the terminology and concepts that u...
pragprog.com
#pragprog/elixir#published-book/book-testing-elixir
33 5004 8
New
AstonJ
General Dev>Hardware

Planck vs Preonic vs Subatomic (Keyboards)
I ended up cancelling my Moonlander order as I think it’s just going to be a bit too bulky for me. I think the Planck and the Preonic (o...
/keyboards#mechanical-keyboards#ortholinear#planck#preonic
105 17596 47
New
Exadra37
Linux>Questions

What is the most minimalist Linux server distro?
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
#linux#servers
66 25846 24
New
hilfordjames
Windows>Chat

Taskbar Overflow Menu (NOT System Tray Overflow)
There appears to have been an update that has changed the terminology for what has previously been known as the Taskbar Overflow - this h...
#taskbar-overflow-win-11
3 3715 2
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Bruce Tate (Author) Interview and AMA!
Author Spotlight: Bruce Tate @redrapids Programming languages always emerge out of need, and if that’s not always true, they’re defin...
/elixir/ruby/phoenix/book-seven-more-languages-in-seven-weeks/book-seven-languages-in-seven-weeks#liveview/book-programming-phoenix-liveview
54 5678 23
New
PragmaticBookshelf
Backend>Learning Resources

Server-Driven Web Apps with htmx
Build modern server-driven web applications using htmx. Whatever programming language you use, you’ll write less (and cleaner) code. ...
pragprog.com
#pragprog#web-development#published-book/book-server-driven-web-apps-with-htmx
6 5257 3
New
CommunityNews
General Dev>In The News

Review of Linux on Minisforum V3 AMD Ryzen Tablet
A Brief Review of the Minisforum V3 AMD Tablet. Update: I have created an awesome-minisforum-v3 GitHub repository to list information fo...
mudkip.me
#linux#review#amd
0 4635 0
New
AstonJ
Backend>Questions

Psql: error: connection to server on socket "/tmp/.s.PGSQL.5432" failed: No such file or directory
If you’re getting errors like this: psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
#macos/rails/postgresql
1 5553 1
New
PragmaticBookshelf
Backend>Learning Resources

Advanced Functional Programming with Elixir
Use advanced functional programming principles, practical Domain-Driven Design techniques, and production-ready Elixir code to build scal...
joekoski.com
#pragprog/elixir#published-book#functional-programming/book-advanced-functional-programming-with-elixir
43 4989 22
New
Back to top

Sponsor Spotlight

coders51

We build reliable cloud platforms for business-critical systems.

Latest in Elixir

Elixir Portal ❯

Backend>Official News

Backend Official News ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap