Conversation

Notices

1. Hallå Kitteh (clacke@social.heldscal.la)'s status on Friday, 09-Feb-2018 23:00:01 UTC Hallå Kitteh

   • Scheme Programming Language
   Holy crap #racket does type inference on my functions. I was so confused until I realized the compiler was smarter than me.
   
   Is this unique for a !scheme ? It's amazing and pushes the error so much closer to the source.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Friday, 09-Feb-2018 23:22:09 UTC Hallå Kitteh

     in reply to
     And then it's still confusing until you run the thing in DrRacket and the very nice arrows show you exactly where that naughty value came from. <3
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Saturday, 10-Feb-2018 10:34:18 UTC Hallå Kitteh

     • tech? no! man, see...
     @technomancy Hm. I seem to have been overexcited. Can't reproduce.
     
     But now I want that feature! If the compiler knows that I will do caar on x unmodified, would be awesome if it would put a contract on my function.