[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)