Latest #algebraic_data_type Threads Top

blubparadox
Forgive me, this could be answered somewhere but “t” and “t()” are difficult to get to work in search. When writing types for your code,...
New
matthias_toepp
I’m new to Elixir…having looked into languages like Haskell, Elm, and Gleam, I’m wondering if Elixir’s new type system will permit sum ty...
New
Fl4m3Ph03n1x
Background I am playing around with defguard in macro I am defining. The macro has an opaque type and I think dialyzer is having issues w...
New
Fl4m3Ph03n1x
Background So, I am playing around with a concept named “NewType” and I am taking inspiration from languages like F# and Scala. My objec...
New
IvanR
There is one long term request - to have strict type checking in Elixir. As far as I remember, @rcm765 mentioned that in the talk at Lon...
New
tim2CF
I’m building just another functional programming library called Wonderland. Cheers!
New
verilog
Does Elixir have a highly advanced type constructors similar to “monads” in Haskell? Could you provide an example?
New
Crowdhailer
NOTE all these questions are related to my use of dialyxir. Type variables From the erlang documentation. Type variables can be used i...
New
tim2CF
If we have function with typespec that always returns value with incorrect type @spec hello(integer()) :: map() def hello(int) do ...
New

This Week's Trending Top

This Month's Trending Top

This Year's Trending Top

Last Three Year's Trending Top

matthias_toepp
I’m new to Elixir…having looked into languages like Haskell, Elm, and Gleam, I’m wondering if Elixir’s new type system will permit sum ty...
New
blubparadox
Forgive me, this could be answered somewhere but “t” and “t()” are difficult to get to work in search. When writing types for your code,...
New

Trending Over Three Years Top

tim2CF
If we have function with typespec that always returns value with incorrect type @spec hello(integer()) :: map() def hello(int) do ...
New
Crowdhailer
NOTE all these questions are related to my use of dialyxir. Type variables From the erlang documentation. Type variables can be used i...
New
Fl4m3Ph03n1x
Background So, I am playing around with a concept named “NewType” and I am taking inspiration from languages like F# and Scala. My objec...
New
IvanR
There is one long term request - to have strict type checking in Elixir. As far as I remember, @rcm765 mentioned that in the talk at Lon...
New
verilog
Does Elixir have a highly advanced type constructors similar to “monads” in Haskell? Could you provide an example?
New
Fl4m3Ph03n1x
Background I am playing around with defguard in macro I am defining. The macro has an opaque type and I think dialyzer is having issues w...
New
  • Follow
  • Join
  • Shape
the conversation

Latest on Elixir Forum

Elixir Forum

Similar Portals

    None added yet

We're in Beta

About us Mission Statement