menu

andrew johnson

@Andrew Johnson

Andrew Johnson

Original author of Lambda Mountain Compiler Backend and LSTS programming languag...
Joined October 2025
101 Points • 2 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.
Joined: 6 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.
Activity

User Activities

AprMayJunJulAugSepOctNovDecJanFebMar
Mon
Tue
Wed
Thu
Fri
Sat
Sun
Less More
Contribution

Comments

0 comments
chevron_left

Latest Jobs

View all jobs →

Active in these Groups:

AI
697 members
C/C++ Community
136 members
Open Source
680 members
Python Dev
378 members
WebDev
566 members
View More