Skip to content

Instantly share code, notes, and snippets.

@NN---
Created January 10, 2013 13:32
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save NN---/4502060 to your computer and use it in GitHub Desktop.
Save NN---/4502060 to your computer and use it in GitHub Desktop.
public class NameListPage
{
public Name : string
{
mutable _name : string;
get
{
server.GetName(name => { ServerName = name });
_name
}
set
{
server.SetName(value, _ => _name = value);
}
}
mutable ServerName : string;
public class Server
{
public mutable _name : string;
public SetName(name : string) : object { _name = $"Hello $name"; null }
public GetName() : string { _name; }
}
public View() : string
{
<#
<input value=”$Name” />
<div>Hello, $ServerName</div>
#>
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment