Jencel Panic<p>I feel that we are just scratching the surface of what <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> languages are, and even what reasoning is. Our current languages would look like morze code to future generations.</p><p>(No I am not referring to anything related to <a href="https://mathstodon.xyz/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a> )</p><p>The keywords for this toot are <a href="https://mathstodon.xyz/tags/haskellcurry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskellcurry</span></a> <a href="https://mathstodon.xyz/tags/lambda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lambda</span></a> <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> etc.</p>