Startup company with main product, Soundcorset, downloaded 30+ million times on Google Play. New
application, ”Looina”, will be the first application where the type theory is extensively applied.
Designed and implemented front-end part and new semantics for core of Looina’s type system e.g. type
inheritance, type dependency, comparator for type instances. Analyzed and refactored legacy code to improve
maintainability.
Worked on identifying and resolving instances where type comparisons led to errors or inefficiencies.
[JavaScript, TypeScript, Redom, CSS, HTML5, D3.js, Git]
查看更多