menu

andrew johnson

@Andrew Johnson

Andrew Johnson

Original author of Lambda Mountain Compiler Backend and LSTS programming languag...
Joined October 2025
101 Points • 5 Badges • 0 Connections • 0 Followers • 3 Following
Profile Stats Wall Posts Badges

About

Original author of Lambda Mountain Compiler Backend and LSTS programming language.

Large Scale Type Systems (LSTS) ... there is a lot of unrealized potential with type systems. Th... Show more

Language & Tools

Assembly, C, LSTS

Currently Exploring

Efficiently implementing overly-ambitious compilers.

User Activities

JulAugSepOctNovDecJanFebMarAprMayJun
Mon
Tue
Wed
Thu
Fri
Sat
Sun
Less More
Joined: 9 months (since Oct 2, 2025)
Full Name: Andrew Johnson
Headline:
About: Original author of Lambda Mountain Compiler Backend and LSTS programming language.

Large Scale Type Systems (LSTS) ... there is a lot of unrealized potential with type systems. There are a lot of good ideas in the theory literature that haven't hit production at scale just because it is hard work and there are lots of competing ideas. We are trying to build a playground style language for these ideas that is flexible enough to integrate the ideas and practical enough to actually use.

Maybe it is a similar community idea to PLT Scheme but for compiled languages.
Location:
Website:
Languges & Tools: Assembly, C, LSTS
Currently Exploring: Efficiently implementing overly-ambitious compilers.
Achievements:
Fun Fact:
Random Dev Quote:
Latest Video:
chevron_left

Active in these Groups:

AI
1189 members
C/C++ Community
213 members
Open Source
1120 members
Python Dev
606 members
WebDev
945 members
View More

Latest Jobs

View all jobs →