[HN Gopher] Flix: an effect-oriented, functional, imperative, an...
       ___________________________________________________________________
        
       Flix: an effect-oriented, functional, imperative, and logic
       programming language
        
       Author : thunderbong
       Score  : 6 points
       Date   : 2025-05-23 21:38 UTC (1 hours ago)
        
 (HTM) web link (flix.dev)
 (TXT) w3m dump (flix.dev)
        
       | artichaud1 wrote:
       | What on earth is this wizardry
        
       | dlahoda wrote:
       | nice lang
       | 
       | https://doc.flix.dev/type-level-programming.html
       | 
       | but they stopped to early in typing.
       | 
       | after seeing how types and values unified in lean, not sure will
       | look into flix like languages ever
        
       ___________________________________________________________________
       (page generated 2025-05-23 23:02 UTC)