謝宇恆 // xieyuheng

overview

me

  • Hi I am xieyuheng.

    I like mathematics, philosophy and traditional Chinese.

  • I view myself as a programming language designer.

    I am always trying to design programming languages.

  • My aim of programming language design

    is to explore the usage of 'proposition as type'

    for algebraic topological purpose.

experiences

2015

  • Graduated from SYSU, GuangZhou, China, with bachelor's degree.

    My major was pure and applied mathematics.

2015 – 2016

2016 – 2017

  • Rest – like an interval of silence in a piece of music.

2017 – now

  • Currently I am working at RiceQuant, as a junior python programmer,

    learning quantitative trading! great!

contact

language design

  • jojo – jojo's programming adventure

  • sequent1 – a prototype functional language

    which uses sequent calculus as its dependent type system

  • cicada-nymph – a forth-like language

paper

translation

lecture

Author: xieyuheng

Created: 2017-10-15 Sun 03:35

Validate