@khady @Armael Yes, true, abstract types would probably make things very difficult in the absence of ad hoc polymorphism.

@amiloradovsky But having an optional deriver such as Haskell's `deriving Show` would be nice and wouldn't cause the problems you mention.

One of my colleagues just dumbfounded me with this question: why do we have to code pretty-printers for our types (either manually or via ppx_deriving) whereas the OCaml toplevel can print them all by itself?

otini boosted

@ben

More deceptive: there is no set whose cardinality is strictly between that of the integers and the real numbers, true or false?

otini boosted

To recover your account, please answer the following question:

The real part of every non-trivial zero of the Riemann zeta function is one half. True or false?

otini boosted

Just discovered this beautiful choir song. youtube.com/watch?v=F7P2ViCROb

It's about the NSA, and it's great.

otini boosted

Le problème est corrigé, nous sommes maintenant sur #Riot 1.0.0

otini boosted

@otini Wow, "conceallevel" in vim is amazing for rendering readable math in LaTeX. I had no idea this existed.

Thanks!

otini boosted

Do you use tail -f ?
Love those annoying "are you watching" messages on Netflix?
Ever thought.. gee I wish I could combine both these things?

You wish has come true with tailflix!

github.com/walaura/tailflix

@loke It is done using Unix.open_process, which apparently interprets the command using /bin/sh.

@loke Here is a more complete view. The program I want to profile is binsec, it spawns the process unisim-armsec and exchanges messages with it. I don't really understand why bash is involved.

I'm using the perf profiling tool for the first time. Is there a reason why the top line has its “Children” field equal to 24 % and not 100 % ?

otini boosted

still proud of this #ocaml #crossStitch, but every time I visit it my desire to frame it properly grows

otini boosted

Besoin d’aide en Coq Show more

Show more
Functional Café

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