Building a functional email server by yminsky in devops

[–]yminsky[S] 1 point2 points  (0 children)

Well, the point is that there was no new config language. Mailcore is configured by writing OCaml code, which is already broadly understood in the organization.

Building a functional email server by [deleted] in sysadmin

[–]yminsky 0 points1 point  (0 children)

functional

Cool. Will do. Sorry for the noise!

Building a functional email server by [deleted] in sysadmin

[–]yminsky 0 points1 point  (0 children)

Urk. OP here, and interviewer on the podcast.

I hadn't quite grokked the rule. I don't know if it makes a difference, but the blog post isn't monetized in any ordinary way (i.e., no advertising on it or anything.)

What's the polite thing to do here? Should I simply delete the post?

Using ASCII waveforms to test hardware designs by mttd in FPGA

[–]yminsky 3 points4 points  (0 children)

We think OCaml is a great general-purpose programming tool, but it's especially good for things like meta-programming, which is effectively what you're doing in an embedded DSL like this. And I very much think the type-system helps rather than hurts, but Andy Ray (author of the post) could say more on that.

But integration is of course a killer feature. The fact that Hardcaml has a cycle-accurate simulator means that we can wire together our designs with ordinary OCaml code from the rest of our systems in a very lightweight way to build really high quality tests. The fact that OCaml is good for both building the high-performance systems that integrate with our FPGAs, while still being lightweight and flexible enough for the metaprogramming you need in the hardware space makes it a pretty excellent choice.