Antonio López Marín
Software Engineer at Karumi
San Francisco, California, United States
Summary
🤩
RockstarAntonio López Marín is a software engineer based in San Francisco with 12 years of experience building robust back-end systems and libraries. He brings a strong functional programming mindset to practical engineering, evidenced by substantive contributions to the well-known Arrow Kotlin library where he implemented and refactored Foldable and Traverse typeclass support for NonEmptyList. Comfortable across design, testing, and code quality, he focuses on making abstractions both correct and maintainable. Antonio combines hands-on coding with a taste for elegant, data-oriented solutions, and he publicly signals his passion for software engineering. Colleagues can expect a developer who balances deep technical rigor with pragmatic delivery.
12 years of coding experience
Stackoverflow
455reputation
50kreached
0answers
2questions
Github Skills (15)
kotlin10
traverse10
functional-programming10
foldable10
monads10
typeclass10
testing8
arrow-js8
arrows8
arrow-keys8
material-design6
realm6
android6
android-layout6
java6
Programming languages (13)
Github contributions (5)
arrow-kt/arrow
Aug 2017 - Nov 2017
Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Role in this project:
Back-end Developer
Back-end DeveloperContributions:46 commits, 4 PRs, 26 pushes in 2 months
Contributions summary:Antonio primarily contributed to the implementation of core functional programming concepts within the Kotlin codebase. Their work involved adding, refactoring, and testing methods related to `Foldable` and `Traverse` typeclasses for the `NonEmptyList` data structure. They also refactored existing code, ensuring adherence to coding standards and adding testing laws, demonstrating a focus on functional programming principles and library design. These changes included modifications to various files, including instances, test files, and data structures.
kotlin-dslfunctional-programmingtypeclassesarrowfor-comprehension
CloudCoders/Katas
Feb 2016 - Jan 2018
Contributions:38 commits, 10 PRs, 12 pushes in 1 year 10 months
javaconcurrent
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.