Giter Club home page Giter Club logo

lang's Introduction

Lang

Build status

defn


(*
 RANGE
 1..10  
 10..1  
 1..
 ..10
  
*)
rangeExpr =  Expr, "..", Expr;  
spreadExpr = Expr, "...", Expr;  




letter = "A" | "B" | "C" | "D" | "E" | "F" | "G"
       | "H" | "I" | "J" | "K" | "L" | "M" | "N"
       | "O" | "P" | "Q" | "R" | "S" | "T" | "U"
       | "V" | "W" | "X" | "Y" | "Z" ;

LETTER = "a" | "b" | "c" | "d" | "e" | "f" | "g"  
       | "h" | "i" | "j" | "k" | "l" | "m" | "n"  
       | "o" | "p" | "q" | "r" | "s" | "t" | "u"  
       | "v" | "w" | "x" | "y" | "z" ;

alpha  = letter | LETTER ;  

digit  = "0" | "1" | "2" | "3" | "4"  
       | "5" | "6" | "7" | "8" | "9" ;

idenitifer_first  = alpha | "_" ;
identifier_rest   = alpha | digit | "_" ;
identifer = idenfitier_first, { identifier_rest } ;

number_first  = digit ; (* maybe also need - *)
number_rest   = alpha | digit | "_" | "." ;
number  = number_first, { number_rest } ;

features

  • Spread
  • Union
  • Intersection
  • Pipes
  • Composition
  • Pattern matching
// union
type bool 
        =  true
        |  false

// intersection
type id = int 
type name = string 
type nameAndId = id & name

lang's People

Contributors

sckelemen avatar

Stargazers

 avatar

Watchers

James Cloos avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.