[HN Gopher] An Introduction to Type Level Programming in Haskell
       ___________________________________________________________________
        
       An Introduction to Type Level Programming in Haskell
        
       Author : rebeccaskinner
       Score  : 64 points
       Date   : 2021-09-09 05:48 UTC (17 hours ago)
        
 (HTM) web link (rebeccaskinner.net)
 (TXT) w3m dump (rebeccaskinner.net)
        
       | dfee wrote:
       | > Posted on August 25, 2021 by Rebecca Skinner
       | 
       | > This blog post is a long-form article based on a talk I
       | delivered at the haskell.love conference on 10 Sept 2021
       | 
       | Today, as far as I can tell, is Sept 9, 2021. Hello traveller
       | from the future. Is time travel possible with Haskell?
        
         | bobdylan222 wrote:
         | Other countries exist?!
        
         | djur wrote:
         | I'd guess that the article was written after the talk was
         | prepared but before it was delivered, and then it was updated
         | after the talk was delivered.
        
         | lalaithion wrote:
         | Yes: https://blog.csongor.co.uk/time-travel-in-haskell-for-
         | dummie...
        
         | Scarbutt wrote:
         | _Today, as far as I can tell, is Sept 9, 2021._
         | 
         | Depends on the country.
        
       | turminal wrote:
       | The best non-conventional introduction:
       | https://aphyr.com/posts/342-typing-the-technical-interview
        
         | Zababa wrote:
         | > "Can I use any language?"
         | 
         | > "Sure."
         | 
         | > Move quickly, before he realizes his mistake.
         | 
         | This part always gets me.
        
         | lelanthran wrote:
         | Seems to me that Lisp weenies have been outsmugged by Haskell
         | weenies.
        
         | thinkharderdev wrote:
         | That may be the greatest thing I've ever read.
        
       | 12thwonder wrote:
       | back in the days, I had this infatuations with the idea of having
       | everything checked at compile time by using type system. and I
       | see many people following this kind of path with type system of
       | Haskell, rust, and maybe typescript. granted, it feels good, at
       | first.
       | 
       | I don't do that any more. simply because I'm very lazy and also
       | in a lot of cases, those types that I wrote will be replaced by
       | more dynamic representation (e.g. strings) at some point.
        
         | ebingdom wrote:
         | > I don't do that any more. simply because I'm very lazy
         | 
         | I'm lazy too, but that's exactly why I use static types. So
         | that when I refactor code, I can let the type checker tell me
         | all the places that need to be updated instead of trying to
         | piece that together from test failures (and praying that the
         | tests didn't miss anything).
        
       ___________________________________________________________________
       (page generated 2021-09-09 23:00 UTC)