Jyothsna Patnam

Founder at typelead

Bengaluru, Karnataka, India
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
Jyothsna Patnam is a founder and seasoned software engineer based in Bengaluru with a decade of experience building backend systems and startups. As a co-founder at TypeLead, she has hands-on expertise in language/runtime engineering, contributing to Eta—a Haskell dialect on the JVM—by adding Java interop and I/O primitives that bridge functional languages with the Java ecosystem. She blends product-minded leadership with deep technical contributions, shipping pragmatic code that enables cross-language interoperability. Known for working at the intersection of language design and platform integration, she brings both entrepreneurial drive and low-level JVM familiarity to engineering challenges. An intriguing detail: her open-source work reflects a focus on practical runtime features (Buffered streams, Closeable interfaces) that materially improve developer ergonomics for functional JVM users.
code10 years of coding experience
github-logo-circle

Github Skills (6)

javas10
interoperability10
java10
typeset8
template-haskell7
monads7

Programming languages (4)

JavaShellScalaHaskell

Github contributions (5)

github-logo-circle
typelead/eta

Dec 2016 - Sep 2018

The Eta Programming Language, a dialect of Haskell on the JVM
Role in this project:
userBack-end Developer
Contributions:2 releases, 800 commits, 16 PRs in 1 year 10 months
Contributions summary:Jyothsna's commits primarily involved modifications to Eta's source code, focusing on the implementation of Java-related functionalities, including the introduction of new Java classes like Closeable, InputStream, and OutputStream. Their contributions included adding support for Java Input/Output utilities, such as BufferedInputStream and BufferedOutputStream, and defining associated interface imports. These additions and modifications appear to support the implementation of Java interoperation capabilities within Eta.
dialectfunctional-programmingetahaskelljvm
eta-spark is a library that provides complete bindings for Apache Spark
Contributions:44 commits, 2 PRs, 33 pushes in 1 year 7 months
etaspark-mlapachesparkscala
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.
Request Free Trial
Jyothsna Patnam - Founder at typelead