<div dir="ltr"><div><div><div><div>Hello!<br></div>I'm wondering if it's possible to serialize some data to a format that is valid Haskell.<br></div>In practice I would read a file like this:<br><br><pre><code>module Foo where

  myData :: MyData
  myData = MyData {name = "foo",
                   descr = "test"
                   ...
                   }<br><br></code></pre><pre><code><font face="arial,helvetica,sans-serif">Reading this into a program is easily feasible with Hint, for example. Then the program would modify some data and serialize it back to:<br><br></font></code><code>module Foo where

  myData :: MyData
  myData = MyData {name = "bar",
                   descr = "test2"
                   ...
                   }<br></code></pre>In practice I think that the format should be a subset of Haskell that is not Turing-complete.<br>A bit like JSON, which is a subset of Javascript but not Turing complete.<br>Is it possible?<br><br></div>Thanks,<br></div>Corentin<br></div>