Ahmed Youssef

I subscribed to your channel, power to you to finish up this series :). I love Nim, I even wrote a book on it! https://xmonader.github.io/nimdays

Datalog is a form of prolog, used currently by a database called datomic as it's query language. If you wanted to play with datalog, the best way is to do the free tutorial at www.learndatalogtoday.org you don't need to anything about datomic or clojure in order to do the tutorial, and I found it really helpful to get an idea of how it would be really helpful for certain types of queries, compared to an analogous query in SQL (which I also like btw...) [Edit] - funny, someone just posted this other tutorial to HN too, haven't done it yet but looks fun and educational, it's a murder mystery! https://xmonader.github.io/prolog/2018/12/21/solving-murder-prolog.htm…

This tutorial obviously only scratches the surface of what is possible in Nim. If you want to dig deeper I recommend reading through the learnxinyminutes entry, along with maybe https://xmonader.github.io/nimdays to see some examples. Then of course the official tutorials. Or if you just want to dig into the crazy stuff to see what is possible https://hookrace.net/blog/introduction-to-metaprogramming-in-nim/

> Hmm I'm fine with prolog, I love it, but I'm not sure how it can be used in practice. Well, that rings similar to what is said about Lisp sometimes, and I think it can easily be refuted by pointing to instances where it is being used in practice[0]. There are some problems that are fairly easy to solve in Prolog, but would be very difficult to express in SQL[1]. And recursive relations, which are at the core of Prolog, only made their way into SQLite 4 years ago[2]. My comment was specifically about those Prolog/Datalog implementations in Racket. Other Prolog implementations might be dealing sensibly with incremental updates (but I don't know). > Having seen companies where SQL was used very extensively for analytics, data storage etc I can't see how prolog wouldn't help. You can't see how Prolog wouldn't help, as in Prolog can only be an improvement over SQL? [0]: https://www.youtube.com/watch?v=G_eYTctGZw8 [1]: https://xmonader.github.io/prolog/2018/12/21/solving-murder-prolog.htm… [2]: https://en.wikipedia.org/wiki/Hierarchical_and_recursive_queries_in_SQ…

Yeah I figured that, but the combinations I was dealing with really weren’t that many. The problem was https://xmonader.github.io/prolog/2018/12/21/solving-murder-prolog.htm… and trying to solve it with list monad. Someday I hope to get back to it.

A rendered Markdown version of this book is available here: https://xmonader.github.io/letsbuildacompiler-pretty/

https://xmonader.github.io/letsbuildacompiler-pretty/ "This is a prettified and modern, browsable version of Let’s Build a Compiler by Jack Crenshaw."

I haven't used it, but based on this, it seems good for declaratively solving problems given facts and constraints: https://xmonader.github.io/prolog/2018/12/21/solving-murder-prolog.htm…

two resources i enjoyed: "nim in action" by dom96 https://www.manning.com/books/nim-in-action nim days by xmonader https://xmonader.github.io/nimdays/

Also https://news.ycombinator.com/item?id=19890918 discusses https://xmonader.github.io/letsbuildacompiler-pretty/ which is a prettification of these plain .txt files — thanks to it I was able to read this series on my phone during lunch breaks.

This is a really fantastic resource for learning programming with Nim. I've started recommending it to folks that are newer to programming that want to try Nim out for various reasons. The only downside is that it is written by a non-native english speaker, so some of the phrasing feels awkward at times. Of course, that's a non issue for this kind of technical material, it's very understandable and useful! You can also view the source of this material here: https://github.com/StefanSalewski/NimProgrammingBook For folks that are more experienced and learn by doing, the two resources I would recommend are https://nim-by-example.github.io/ and https://xmonader.github.io/nimdays/. The first is a solid overview of the basic language, while the second is a bunch of example projects. Other good resources if anyone is interested: Nim in Action (book) https://narimiran.github.io/nim-basics/ https://scripter.co/notes/nim The official Nim tutorial: https://nim-lang.org/docs/tut1.html Nim also had a devroom at FOSDEM this year! You can find it at https://fosdem.org/2022/schedule/track/nim_programming_language/. My favorite talks were on Polymorph (a really fast compile time ECS), Pararules (a super cool implementation of a rules engine) and Nim Metaprogramming in the real world (very useful lesser known patterns for using Nim's capabilities in a variety of projects).