xiongxin

type term =
  | Lam of (term -> term)
  | Pi of term * (term -> term)
  | Appl of term * term
  | Ann of term * term
  | FreeVar of int
  | Star
  | Box

let unfurl lvl f = f (FreeVar lvl)

xiongxin

// A simple Lexer meant to demonstrate a few theoretical concepts. It can
// support several parser concepts and is very fast (though speed is not its
// design goal).
//
// J. Arrieta, Nabla Zero Labs
//
// This code is released under the MIT License.
//
// Copyright 2018 Nabla Zero Labs
//

xiongxin

正则匹配

匹配中文字符的正则表达式： [\u4e00-\u9fa5] 
评注：匹配中文还真是个头疼的事，有了这个表达式就好办了 

匹配双字节字符(包括汉字在内)：[^\x00-\xff] 
评注：可以用来计算字符串的长度（一个双字节字符长度计2，ASCII字符计1） 

匹配空白行的正则表达式：\n\s*\r 
评注：可以用来删除空白行 

xiongxin

import net
import rawsockets
import strutils

const SERVER_PORT = Port(1987)
const SERVER_ADDR = "localhost"

var canQuit = false

proc main() = 

xiongxin

defmodule Die do
  def init(), do: :random.seed(:erlang.now)
  def d6(), do: :random.uniform(6)
  def d100(), do: :random.uniform(100)
end

defmodule War do
  def create_player(name, skill, hp) do
    [ name: name, skill: skill, hp: hp ]
  end