[HN Gopher] Typed Lisp, a Primer
       ___________________________________________________________________
        
       Typed Lisp, a Primer
        
       Author : todsacerdoti
       Score  : 43 points
       Date   : 2025-05-04 17:17 UTC (5 hours ago)
        
 (HTM) web link (alhassy.com)
 (TXT) w3m dump (alhassy.com)
        
       | codr7 wrote:
       | The main issue I have with CLs type checking is the clunky syntax
       | and the fact that it looks different in different contexts.
       | 
       | I made an attempt to fix that for eli:
       | https://github.com/codr7/eli#type-checking
        
         | rjsw wrote:
         | Your eli looks clunky to me.
        
           | codr7 wrote:
           | Well, use something else.
           | 
           | And maybe ask yourself why you felt saying so was important
           | to you.
        
             | dokyun wrote:
             | (the number (+ 35 7))
             | 
             | is a lot less clunky than                   (+ 35
             | 7)@Numeric
        
       | NikkiA wrote:
       | praising 'loop' in the same post as describing lisp as 'elegant'
       | _shakes head_
        
         | codr7 wrote:
         | Some people seem to like it, and be very effective using it.
         | 
         | The problem is it's a walled garden, with its own quirky
         | syntax; nothing that happens inside of loop is applicable
         | outside, and the other way around.
        
       | breadchris wrote:
       | I have really fallen in love with LISP recently, specifically
       | clojure. A strong type system is really needed for it to make me
       | feel like I can confidently develop with it.
        
       ___________________________________________________________________
       (page generated 2025-05-04 23:00 UTC)