lambdageek
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
@MicrosoftBoston, MA
lambdageek's Followers
- abhishekkhandaitSiemens
- alikzalikzTehran, Iran
- antler5
- aresbit
- Auto72
- brianrourkeboll
- buleli
- codemonkey85Fusion Worldwide
- d2cToolSpb
- EngRajabiMofid Securities
- fMichaleczek@lexpek
- giritrivediIBM
- GlebChiliMoscow Center for Continuous Mathematical Education
- ivdiazsaMicrosoft Corporation
- jacobsomerFalls Church, VA
- julienbassin
- kirisky
- kotlarmilos@Microsoft
- liuq2008202
- MattBolithoAlpine F1 Team
- maxkatz6@AvaloniaUI
- MikeCodesDotNET@avaloniaui
- mmeents
- MrXhhxi'an
- NateTheGreat714United States
- ohmyjBanyumas, Central Java, Indonesia
- omasanoriJapan, or anywhere else
- prez
- rehan678plahore
- snkd
- standardgalacticXanadu
- successgoSeesoft
- WhitewaysMattbo
- wxxb789
- xlxs4EMTech Space
- zehaochen19