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

Eiji
Backend>Official News

Elixir 1.10.3 released
Elixir version 1.10.3 has been released on Apr 25, 2020. See the release announcement. This release officially supports Erlang/OTP versi...
/elixir#generaluage-news
4 1606 0
New
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

Ruby on Rails v6.1.0 released!
Ruby on Rails v6.1.0 has been released. Link: Release 6.1.0 · rails/rails · GitHub
github.com
/ruby/rails#news
0 2037 0
New
First poster: OvermindDL1
Backend>Official News

Announcing Axum - an easy to use, powerful, web framework for Tokio (Tokio is an asynchronous runtime for the Rust programming language)
Today we are happy to announce axum: An easy to use, yet powerful, web framework designed to take full advantage of the Tokio ecosystem. ...
tokio.rs
/rust#tokio#axum
13 4370 5
New
First poster: bot
Backend>Official News

dbForge Schema Compare for PostgreSQL 1.2 Released with a Bunch of New Features
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: dbForge Schema Compare for PostgreSQL 1...
postgresql.org
#postgres/postgresql#official-news
0 1648 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
NewsBot
Backend>Official News

Announcing Rust 1.79.0
A new Rust blog post/announcement has been posted!
blog.rust-lang.org
/rust#official-news
0 1329 0
New
NewsBot
Backend>Official News

Announcing Rust 1.85.0 and Rust 2024
A new Rust blog post/announcement has been posted! Get the full details here: Announcing Rust 1.85.0 and Rust 2024 | Rust Blog
blog.rust-lang.org
/rust#official-news
0 1007 0
New
NewsBot
Backend>Official News

Ruby 3.4.6 Released
A new Ruby blog post/announcement has been posted! Get the full details here: Ruby 3.4.6 Released
ruby-lang.org
/ruby#official-news
0 2350 0
New
NewsBot
Backend>Official News

Node.js v22.20.0 released!
Node.js v22.20.0 has been released. Link: Release 2025-09-24, Version 22.20.0 'Jod' (LTS), @richardlau · nodejs/node · GitHub
github.com
/nodejs#official-news
0 3405 0
New

Other popular topics Top

AstonJ
General Dev>Hardware

Which keyboard do you have?
If it’s a mechanical keyboard, which switches do you have? Would you recommend it? Why? What will your next keyboard be? Pics always w...
#hardware/keyboards#sticky#mechanical-keyboards
144 9115 50
New
PragmaticBookshelf
Data Science

Genetic Algorithms in Elixir
From finance to artificial intelligence, genetic algorithms are a powerful tool with a wide array of applications. But you don't need an ...
#pragprog#ai/elixir#published-book/book-genetic-algorithms-in-elixir
25 5243 6
New
AstonJ
General Dev>Hardware

Custom keyboard keycaps
There’s a whole world of custom keycaps out there that I didn’t know existed! Check out all of our Keycaps threads here: https://forum....
#hardware/keyboards#keycaps#mechanical-keyboards
15 11086 19
New
PragmaticBookshelf
Android>Learning Resources

Kotlin and Android Development featuring Jetpack: Build Better, Safer Android Apps
Start building native Android apps the modern way in Kotlin with Jetpack's expansive set of tools, libraries, and best practices. Learn h...
pragprog.com
#pragprog#android#game-dev/kotlin#published-book/book-kotlin-and-android-development-featuring-jetpack
7 5084 1
New
AstonJ
General Dev>Dev Chat

How fast do you type? Check your WPM here!
Do the test and post your score :nerd_face: :keyboard: If possible, please add info such as the keyboard you’re using, the layout (Qw...
typing-speed-test.aoeu.eu
/keyboards
82 7682 31
New
mafinar
Backend>Chat

Data Structures and Algorithms with Elixir
This is going to be a long an frequently posted thread. While talking to a friend of mine who has taken data structure and algorithm cou...
/elixir#algorithms#data-structures
108 11869 31
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Mike Riley (Author) Interview and AMA!
Author Spotlight Mike Riley @mriley This month, we turn the spotlight on Mike Riley, author of Portable Python Projects. Mike’s book ...
#author-spotlight/python#iot/book-portable-python-projects#internet-of-things
62 7035 19
New
First poster: CommunityNews
AI>In The News

How to fix the eyes in AI-generated images
aidemos.info
0 4508 0
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: VM Brasseur (Author) Interview and AMA!
Author Spotlight: VM Brasseur @vmbrasseur We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...
#author-spotlight/book-forge-your-future-with-open-source
16 5051 11
New
PragmaticBookshelf
Backend>Learning Resources

Programming Ruby 3.2 (5th Edition)
Programming Ruby is the most complete book on Ruby, covering both the language itself and the standard library as well as commonly used t...
twitter.com
#pragprog/ruby/rails#published-book/book-programming-ruby-3-2-5th-edition
28 8550 13
New
Back to top

Sponsor Spotlight

Pragmatic Studio

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

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