Wen Kokke
Haskell Consultant at Well-Typed LLP
Scotland, United Kingdom
Summary
🤩
RockstarWen Kokke is a Haskell consultant with 13 years of software engineering experience, blending language-theory research and practical tooling from Scotland. Currently at Well-Typed LLP and an associate researcher at the University of Strathclyde, Wen focuses on type systems, kind checking and correctness—work reflected in contributions to Plutus and the Agda PLFA textbook. They bridge backend engineering and developer ergonomics, adding Haskell and Agda support to community tools like Talon and implementing map and proof machinery in Agda using higher-order functions and reflection. Known for walking the line between programming languages and "a̸i̸," Wen brings a thoughtful, research-informed approach to robust, provably correct software.
13 years of coding experience
Stackoverflow
3,792reputation
225kreached
18answers
46questions
Github Skills (19)
programming-language10
agda10
python10
testing10
data-structure10
data-structures10
functional-programming10
haskell10
git7
first-order-logic6
html6
context-free-grammar6
php6
code-generation6
doctrine6
Programming languages (20)
Github contributions (5)
plfa/plfa.github.io
Jun 2017 - Jan 2023
An introduction to programming language theory in Agda
Role in this project:
Backend Developer
Backend DeveloperContributions:11 releases, 27 reviews, 1094 commits in 5 years 7 months
Contributions summary:Wen implemented features related to "Maps," a data structure for associating identifiers with values, using the Agda programming language within the specified repository. The commits show the user's involvement in defining different flavors of maps, including total and partial maps, along with relevant lemmas about their behavior. The code changes involve the construction and usage of functions within Agda, including higher-order functions and reflection to simplify proofs.
polymorphismdependent-typeshomotopy-type-theorytype-theorylanguage-theory
talonhub/community
Nov 2021 - Oct 2022
Voice command set for Talon, community-supported.
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:34 reviews, 41 commits, 19 PRs in 11 months
Contributions summary:Wen's contributions center around extending the voice command set for the Talon community project. They added language modes for Haskell and Agda, enhancing the project's support for various programming languages. They also refactored existing code and refactored various sections of code into tags. Furthermore, the user made improvements to comment handling, and a few smaller changes such as fixing a typo, and adjusting a mouse setting.
talontalonvoicevimwindowsin-progress
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.