Pinned toot
typochon boosted

hacking: finally got around to writing a little grammar for writing math in a TeX-like style (left) rather than in MathML directly (right).
Which one do you prefer? 😜

typochon boosted

Amazon rainforest rant 

typochon boosted
typochon boosted

I wanted to explain the code you get in Haskell to write this sort of model, but it's actually quite tricky to explain in a toot^^

Hopefully I'll write a blog post about this when this is more polished

Cuuuuurves 

More cuuuuurves 

Cuuuuurves 

It's not perfect, for instance, I still have one weird problem with the types of some function pointers not being imported correctly. But, while I didn't test anything until I had done everything, I haven't had any segfault or unexpected result with the generated bindings, and I find that pretty impressive!

So after a few days at working with to make bindings to in , I'm actually impressed by it.

It's a tool to help with writing bindings to C library. It can generate a lot of the boilerplate associated with this sort of stuff (e.g., generating wrapper types on the Haskell side) and typechecks the FFI imports by analyzing the C types in the library's headers.

re: Haskell question, C bindings and c2hs 

Haskell question, C bindings and c2hs 

Me after playing #RoboInstructus for 30 minutes 

typochon boosted

The best thing about academia is making up words

I successfully managed to bring the number of reduce/reduce conflicts in my grammar from 12 to 75 and then to 354. I'm not really good at this, am I^^?

typochon boosted

So I have decided to start my personal Nix FAQ, with questions I ask to myself, and to which I often don't have the answer. Please do not hesitate to provide them 🙂

otini.chnik.fr/posts/personal-

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.