<p><span class="h-card" translate="no"><a href="https://types.pl/@shon" class="u-url mention">@<span>shon</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@patricoferris" class="u-url mention">@<span>patricoferris</span></a></span> from my point of view the unix applications are getting easier, and the ultimate win is once we manage to not have functors at all in a unikernel.</p><p>the reason is for those understanding and using functors in their daily toolbox there's obviously no mental overhead with current MirageOS. but those new to MirageOS (+OCaml), these functors are scary and hard to comprehend (esp. how they're used in MirageOS with config.ml & unikernel.ml, code generation).</p><p>does this make sense?</p>
