About

你是我的梦想

离开世界之前,一切都是过程。

Hi,我是黄玄,前端 Online NPC,编程语言/编译器初心者,Facebook 签约软件工程师,广院认证数字设计师。我曾被招募为阿里巴巴 · 阿里旅行(飞猪)· 前端工程师、微影时代 · 微票儿 · 前端基础设施工程团队负责人、饿了么 · 大前端团队 · PWA 顾问 等。

目前的物理活动范围主要在美帝,分身日常出没于博客微博知乎TwitterGithubMedium

编程语言倾向

我倾向于 ML(“Meta Language”)等「函数式编程为主(mostly functional programming)」风格的编程语言,所以也就不难理解我的很多选择了:JavaScript 于动态类型、Scala 于 JVM 语言、Rust 于非托管语言等。

从左到右 为喜欢程度,从上到下 为了解程度,版本 表示下界。

  💔️ ❤️ ️ ❤️❤️ ️ ❤️❤️❤️ ️
😅 PHP BASIC C ObjC Prolog Kotlin Dart Asm Swift Agda Idris
🧐   C++ Hack Lisp* C++11 C# AS3 Scala Rust
😏 Shell Java Python TypeScript Flow Wasm Haskell Coq ML*
🤓   JavaScript EcmaScript6 λ Λ Π Σ

ML* 家族OCaml ReasonML Standard ML
Lisp* 家族Clojure Scheme Racket

演讲与分享

Your time is limited, so don’t waste it living someone else’s life.

Hi, I am @huxpro (Huang, Xuan), a will-be Facebook software engineer and a professed digital designer. My interests range from programming languages in general (type system, type-based formal verification, compiler construction, runtime system) to indurstial software engineering (web/mobile app development, user interface and UX, developer infra and DX).

In the past, I worked on Alitrip (Fliggy) mobile and web apps under the Alibaba Group, found and lead front-end infrastructure team at a unicorn startup Beijing Weiying (WePiao), and helped Ele.me to upgrade their mobile web into the first influential PWA (progressive web app) in China.

I studied BA, Digital Media Art at Communication University of China and MS, Computer Science at Rochester Institute of Technology, with a focus on programming languages theory and construction.

My Programming Languages Spectrum

I generally prefer languages that are close to ML (“Meta Language”), i.e. mostly functional programming. This should explain most of my picks e.g. JavaScript within dynamically-typed’s, Scala within JVM’s, Rust within unmanaged’s. Other preferences such as typed over untyped, expressive over limited are no-brainers.

Left-right is how much I prefer it. Top-down is how much I know it. Versions are lower bounds.

  💔️ ❤️ ️ ❤️❤️ ️ ❤️❤️❤️ ️
😅 PHP BASIC C ObjC Prolog Kotlin Dart Asm Swift Agda Idris
🧐   C++ Hack Lisp* C++11 C# AS3 Scala Rust
😏 Shell Java Python TypeScript Flow Wasm Haskell Coq ML*
🤓   JavaScript EcmaScript6 λ Λ Π Σ

ML*: OCaml ReasonML Standard ML
Lisp*: Clojure Scheme Racket

Talks