Viewing profile — gilmi

I've mentioned this in a different comment, but I've written several articles on type inference, trying to make the topic more approachable: https://gilmi.me/blog/tags/type%20infer…

I really enjoyed the article. I think one way to simplify language creation is to use an existing language with somewhat similar operational semantics as a compilation target. This…

Maybe the engine used for Dead Cells, https://heaps.io ?

Monads are a bit like exiting vim. The complexity is exaggerated to the point of a meme, but in reality not very difficult, and they can be quite useful.

A different thing to look at is what enforcing referential transparency in your program means. Referential transparency means that when we bind an expression to a name (e.g. `y = f…

https://gilmi.me 31 posts. I write mostly about Haskell, compilers, webdev, and my hobby projects. - https://gilmi.me/blog/post/2016/10/14/lisp-to-js - Compiling a lisp to JavaScri…

you welcome :)

I've written an online book with mdbook ( https://lhbg-book.link ) and it was a breeze. I believe mdbook was one of the reasons I even finished the book. 1. It's super easy to inst…

Please allow me to share a blog post and a learning resource: - Consider Haskell - https://gilmi.me/blog/post/2020/04/28/consider-haskell - Learn Haskell by building a blog generat…

You might be interested in https://futhark-lang.org

Very informative. Thanks!

- https://lhbg-book.link - https://marcosampellegrini.com/simple-haskell-book - https://leanpub.com/production-haskell

If you have 24 minutes, George Wilson's talk about propagators is really interesting and demonstrates how we can find solutions to problems by looking at math. https://www.youtube.…

CS4410 and CSE131 (they are very similar, pick one) for compilation: - https://course.ccs.neu.edu/cs4410sp21 - https://ucsd-cse131-f19.github.io These two articles for garbage coll…

I agree that there are many opinions and that Haskell people don't want to compromise on what they see is the value of the language, but I've also seen a lot of people express thei…

I don't think that's correct. Especially since there's a community-led organization with the specific goal of increasing adoption https://haskell.foundation/

- Learn Haskell by building a blog generator[0] (disclaimer: I wrote this) - Simple Haskell Handbook[1] - Haskell (Almost) Standard Libraries[2] - [0]: https://lhbg-book.link - [1]…

I wrote an article of a few usecases and why I think Haskell is a good match for them: https://gilmi.me/blog/post/2020/04/28/consider-haskell

Thanks!

Thank you!

On the "where to go next?" appendix there's a link to my Haskell study plan[0] which has links to a bunch of extra material. [0]: https://github.com/soupi/haskell-study-plan

Sounds like a generally reasonable approach to me.

Thank you. I'm glad you're enjoying it. Sorry if I sounded a bit aggressive here. I think one of the cool things about Haskell is that there's quite a high ceiling in terms of solu…

Right but the point of the book is to ease learners into the language (and teach core concepts), and not throw them into the deep end of it. Also, I'll update the text about kinds …