Add serialization how_to

Author: limarta

Diff for: docs/pages.jl

@@ -24,6 +24,7 @@ pages = [
         "Custom Modeling Languages" => "how_to/custom_dsl.md",
         "Custom Gradients" => "how_to/custom_derivatives.md",
         "Incremental Computation" => "how_to/custom_incremental_computation.md",
+        "Serializing Dynamic DSL Traces" => "how_to/serialization.md"
     ],
     "API Reference" => [
         "Modeling Library" => [

Diff for: docs/src/how_to/serialization.md

@@ -0,0 +1,29 @@
+# [How to Serialize Traces for Storage](@id how_to_serialize)
+
+For emphemeral storage of Dynamic Traces, `Serialization.jl` works well. For long term storage, however, you will likely run into issues using `Serialization.jl` since traces internally track function pointers (recall `Trace`s may contain function pointers). For this, you can try the experiemental [`GenSerialization.jl`](https://github.com/probcomp/GenSerialization.jl) which still uses `Serialization.jl` but can properly discard function call data. 
+
+
+
+An example:
+
+```julia
+using Gen
+using GenSerialization
+
+@gen function model(p) 
+    x ~ bernoulli(p)
+end
+
+trace = simulate(model, (0.2))
+serialize("coin_flip.gen", trace)
+```
+
+This stores the trace in a file. Now to deserialize, run
+```julia
+saved_trace = deserialize("coin_flip.gen", model)
+```
+!!! note
+    The same generative function used to save out the trace must be defined at runtime before deserialization.
+
+!!! note
+    See the repo for warnings and limitations.