I just learned about extended DCGs in Prolog and they are very cool. I even mostly avoided comparing then to monads 😬 https://occasionallycogent.com/prolog_edcgs/index.html
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!