Ville Tirronen
Software Engineer at Typeable
Finland
Summary
👤
Senior🎓
Top SchoolVille Tirronen is a software engineer with 14 years of experience who blends deep academic research—holding a PhD and long tenure as a researcher and senior lecturer at the University of Jyväskylä—with hands-on industry work at Typeable. He specializes in backend development and has contributed notable features to the Dhall-Haskell project, adding functions like rawInput, loadWith and normalizeWith and enhancing CLI dependency flags, demonstrating expertise in language tooling and configurable systems. Based in Finland, Ville bridges rigorous formal thinking from academia with pragmatic engineering practices, shipping reliable, maintainable configuration and tooling improvements. He often operates at the intersection of type-driven design and real-world developer ergonomics, turning theoretical knowledge into practical, production-ready code.
14 years of coding experience
15 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Jyväskylä
Stackoverflow
4,466reputation
107kreached
28answers
27questions
haskell
top-5%
Github Skills (15)
dhall10
functional-programming10
configuration-language10
haskell10
cli9
command-line9
command-line-interface9
category-theory6
monoid6
exceptions6
throw6
monads6
onload6
typeclass6
image-processing6
Programming languages (9)
Github contributions (5)
dhall-lang/dhall-haskell
Jul 2017 - Nov 2019
Maintainable configuration files
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits, 11 PRs, 52 comments in 2 years 4 months
Contributions summary:Ville has significantly contributed to the Dhall-Haskell project by implementing new functions and features. They introduced a `rawInput` function for direct extraction of Haskell values from Dhall ASTs and a `loadWith` function to load Dhall modules with a custom typing context. Additionally, the user added a `normalizeWith` function, extending the capabilities of Dhall's normalization process. Furthermore, the user has contributed to the command-line interface by adding new flags for dependency listing.
configurationghchaskellcabalconfiguration-files
aleator/Zettel-hs
Jan 2020 - Feb 2021
Contributions:49 commits, 41 pushes, 2 branches in 1 year 1 month
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.