<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="" id="mail-body" style="line-height: 1.6; transform-origin: left top 0px;"><div>Dear Café,<br></div><div><br></div><div>Are there any techniques for compiling a single client-server program such that clients are not distributed any server code?<br></div><div><br></div><div>I'm
currently looking at implementing an FRP library with a type system
like Gavial's [0]. The types will make it clear on which side code
belongs.<br></div><div>My current thinking is to have Client and Server
instances of a ClientServer type class which can safely implement the functions of
the other side as no-ops/bottom, but I imagine that would at least
require a dead code elimination step after compilation to get the
desired effect?<br></div><div><br></div><div>Adriaan<br></div><div><br></div><div><div>[0] https://arxiv.org/pdf/2002.06188.pdf<br></div></div></div><div><br></div> </body>
</html>