Ben Clifford @benc@mastodon.hawaga.org.uk

so if your parser combinator primitives are:

(input: str -> result: X, the rest: str)

as they often are, that means a primitive can replace the rest of the string to be parsed with something of its own choice?

(I have some awful usecase that I'll try out)

#Haskell #Parser

working on some "will this multithreaded multiprocess code always exit?" stuff at the moment (the answer is no) so back in TLA+ world for a bit but also having a poke at HasCal

#TLA+ #Haskell #Exit

> LONDON HASKELL NEEDS AN ORGANIZER

goodbye london haskell meetup.com group, you served us all well

#Haskell

(it's using #Haskell so you bet your life there's 5 different multigigabyte GHC installs happening inside the |sh)

ahhh #Haskell... recompiling my reddit bot and watching all the category theory get installed...

New reddit API limits of 100 API hits per minute, and I felt bad with https://github.com/benclifford/lsc-todaybot making 4 HTTP requests an hour!

#Reddit #LondonSocialClub #bot #API #Haskell #Meetups

was trying to think of a hashtag that described two small projects I've made (today's #Python picklerun, and years ago, #Haskell acme-smuggler) that give you "things" that look like values in your programming language, but actually they do weird stuff...

settled on #SatansValues

https://github.com/topics/satans-values

another day, another monadic parser combinator library - experimenting again with backtracking and error reporting for a bit of natural language parsing

#Monads #Haskell

back to my toy project of learning german grammar by implementing it with megaparsec

#Haskell #German

was up at 5am sleepless, debugging some DNS troubles on one thing; got me in the mood for working on a DNS testing project I've had as a side-project for ... a decade. was too lazy to do anything with that. 12 hours later, one of the failures it would have detected, a dnssec failure caused by a typo in a zone file, happen on one of my two main zones. ugh. bonus haskell hashtag because there's monads in this project.

#dns #dnssec #itsalwaysdns #haskell #monad

> warning: very complex type used.

no shit i'm writing #rust and i come from a #haskell background

My most starred github repo, and maybe my favourite, is a #haskell package called `acme-smuggler`.

It gives you a function `smuggle` which hides an arbitrary (typeable) value inside ()

smuggle :: t -> ()

and then later on, you can retrieve that value using:

discover :: () -> t

It's just 7 lines of code, described in my blog post: "Smuggling things in a dirty bottom"

https://benctechnicalblog.blogspot.com/2016/11/smuggling-things-in-dirty-bottom.html