[HN Gopher] Dependent types and how to get rid of them
       ___________________________________________________________________
        
       Dependent types and how to get rid of them
        
       Recent and related: _Why don 't you use dependent types?_ -
       https://news.ycombinator.com/item?id=45790827 (116 comments)
        
       Author : pie_flavor
       Score  : 15 points
       Date   : 2025-11-03 17:49 UTC (7 days ago)
        
 (HTM) web link (chadnauseam.com)
 (TXT) w3m dump (chadnauseam.com)
        
       | nixpulvis wrote:
       | I read the first post and thought someone should at the very
       | least post the lambda cube. This isn't my area of expertise,
       | since I've done very little with dependent types (staying firmly
       | on the left side of the cube), but it outlines some useful
       | categories of type systems here.
       | 
       | https://en.wikipedia.org/wiki/Lambda_cube
        
       ___________________________________________________________________
       (page generated 2025-11-10 23:00 UTC)