#type-checking > chat

This Week's Trending

This Month's Trending

This Year's Trending

Chat & Discussions>Discussions

Cure - a new language compiled to BEAM

I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...

#static-types#type-checking#types#fsm

168 4963 68

2026-04-23 12:10:56 UTC

New

Last Three Year's Trending

Chat & Discussions>Discussions

Are typespecs deprecated? (Reddit thread answer from Jose)

I discovered this link on bluesky, and it was a bit of an accidental thing, but I think it contains some nice information that’s worth ch...

#type-checking

21 740 11

2025-01-27 18:05:38 UTC

New

Chat & Discussions>Proposals: Ideas

Why parentheses after nullary gradual types?

Hi! I’m excited about everything that’s going on re. gradual typing and am really pleased to see that Jose and the team seem to be think...

#static-types#type-checking#types#set-theoretic-types

10 362 3

2024-12-22 09:27:44 UTC

New

Trending Over Three Years

Chat & Discussions>Discussions

Dialyzer - Function foo/1 has no local return

Hello everyone, Long time lurker first time poster here. I’ve recently begun working on Elixir full-time again! :raised_hands: It’s been...

#dialyzer#type-checking

15 20257 5

2020-10-13 13:43:21 UTC

New

Chat & Discussions>Discussions

TypeScript, but for Elixir?

At my last company we migrated a large codebase from JavaScript to TypeScript – basically it just amounted to adding a couple of lines to...

#type-checking#types

42 6242 23

2022-02-21 09:35:43 UTC

New

Chat & Discussions>Discussions

Typechecker for Elixir

I just quit my job and after some soul-searching am deciding on what project I want to pursue, and thought it would be a good idea to thr...

#static-types#type-checking

90 4364 14

2021-07-07 16:49:13 UTC

New

Chat & Discussions>Polls

What do you prefer to use for type checking Elixir/Erlang code? (poll)

poll The poll allows up to 2 votes for cases where people have a preferred tool for Elixir and a separate preferred tool for Erlang or th...

#typespecs#static-types#type-checking#types

45 3763 21

2023-05-02 13:36:59 UTC

New

Chat & Discussions>Discussions

Eqwalizer: A Type-Checker for Erlang

It looks like the team over at WhatsApp have finally released their Erlang type checker, eqWAlizer I know a few of us have been looking ...

#type-checking

15 1517 5

2022-08-08 14:04:06 UTC

New

Chat & Discussions>Discussions

Macro idea: total case statements

Hi everyone! I recently had an idea. This is by no means a revolutionary concep, and other people probably have thought about it before ...

#macros#discussion#typespecs#case#type-checking

16 1356 3

2019-03-14 14:16:52 UTC

New

Chat & Discussions>Discussions

String text = ”data type in Elixir”;

i’ve recently gotten annoyed at having to jump between files just to check what that function i’m using will return. VS Code could be of ...

#macros#syntax#typespecs#type-checking

11 1097 8

2022-12-29 10:02:01 UTC

New

Chat & Discussions>Discussions

"Strongly-typed" Phoenix channel messages

Some background information first: I am currently in the process of converting our frontend codebase to typescript. Most of the interacti...

/phoenix#channels#type-checking

4 979 1

2020-11-06 11:40:32 UTC

New

Chat & Discussions>Discussions

Nice overview of Clojure Spec

I find Clojure Spec to be very interesting. Efforts have been made to “port” it to Elixir, but they don’t seem to have gained much tracti...

#clojure#type-checking

3 956 2

2020-09-11 06:39:50 UTC

New

Chat & Discussions>Discussions

Set-theoretic types across process boundaries?

I’d like to know what possibilities (and difficulties) there may be for using set-theoretic types across process boundaries. That is, cou...

#processes#type-checking#types

3 801 1

2022-10-12 20:37:04 UTC

New