Why Recipe Standard Is Important

Posted by dubadub on Saturday November 09, 2024 @04:34PM
from the cooklang.org dept.

https://cooklang.org/blog/04-why-recipe-standard/

( 2 comments | 2 points | on HN )

Re:Why Recipe Standard Is Important by steve_gh on Sunday November 10, 2024 @04:34AM (#42099294)

You should read Simon Peyton-Jones' paper "How to write a financial contract". His starting point is the idea of a compositional language of cooking primitives.

[ Parent | on HN ]

Re:Why Recipe Standard Is Important by dubadub on Tuesday November 12, 2024 @12:20PM (#42117495)

I'm quite curious to check that out, but seems that the paper I found doesn't have anything about cooking https://www.microsoft.com/en-us/research/uploads/prod/2000/0.... Is that the one you had in mind?

[ Parent | on HN ]