lxsameer<p>I owe a lot to a few programming languages that taught me how to design a language, both from an engineering standpoint and computer science. </p><p><a href="https://mastodon.social/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lisp</span></a> & <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> for what a good programming language might look like. </p><p><a href="https://mastodon.social/tags/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Agda</span></a>, <a href="https://mastodon.social/tags/Idris2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Idris2</span></a>, <a href="https://mastodon.social/tags/lean4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lean4</span></a> to show me how useful dependent types are.</p><p><a href="https://mastodon.social/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>C</span></a>++, to teach me what to avoid</p><p><a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a>, <a href="https://mastodon.social/tags/javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>javascript</span></a> to be such giant examples of shitty languages and give me hope that I can do better. 😂</p>