[HN Gopher] My Future with Elixir: set-theoretic types
       ___________________________________________________________________
        
       My Future with Elixir: set-theoretic types
        
       Author : rukenshia
       Score  : 42 points
       Date   : 2022-10-05 15:40 UTC (7 hours ago)
        
 (HTM) web link (elixir-lang.org)
 (TXT) w3m dump (elixir-lang.org)
        
       | dmpk2k wrote:
       | > so we should not expect any meaningful performance gain from
       | typing Elixir code
       | 
       | but
       | 
       | > The Erlang compiler already does so to improve performance
       | within a single module and we want to eventually do so across
       | modules and applications too.
       | 
       | A bit confused by this. Will Elixir potentially embed types in
       | BEAM files like Erlang increasingly does to inform the JIT, or
       | not?
        
       | [deleted]
        
       ___________________________________________________________________
       (page generated 2022-10-05 23:01 UTC)