Skip to content

Left‐Hand Sides

Andrew Johnson edited this page Mar 15, 2025 · 20 revisions

Most programming languages focus primarily on right-hand sides. Bias is often given towards towards the program logic that does something. By contrast, left-hand sides are normally very bland. Most languages only permit variable names and maybe a type.

In LSTS, left-hand sides are more diverse.

Left-Hand Sides Are Just as Important as Right-Hand Sides

Right-hand sides do things. Left-hand sides condition things.

In logic, conditions are just as important as expressions. Programming is about determining not just how to do something, but also about determining why to do something. Left-hand sides help us define conditional logic more naturally, so in LSTS the LHS are given just as much feature depth as the RHS.

Clone this wiki locally