index.xhtml

---
title: Programming Language Design
layout: default
canonical: /
---
<header>
  <span class="shell prompt-sign" id="pagelink"><a href="/">proglangdesign.net</a></span>
  <nav>
    <a href="#projects">Projects</a>
    <a href="#resources">Resources</a>
  </nav>
</header>

<section id="hero">
  <h1>{{ page.title }}</h1>
  <nav>
    <h2>Join us!</h2>
    <a class="shell button prompt-sign reddit" href="https://reddit.com/r/ProgrammingLanguages">Subreddit</a>
    <a class="shell button prompt-sign irc" href="#join-irc">IRC</a>
    <a class="shell button prompt-sign discord" href="https://discord.gg/4Kjt3ZE">Discord</a>
  </nav>
</section>

<!-- Source of the many icons used here: https://github.com/simple-icons/simple-icons -->
<!-- Exceptions: The Libera, Reddit, IRC, and Discord icons. I don't know where those are from. -->
<section id="projects">
  <h2>Take a look at our projects</h2>
  {% assign unique_tags = site.data.tags | uniq | sort %}
  <div id="tags" data-all-tags="{{unique_tags | join: ','}}"></div>
  
  <!-- Liquid, the templating language, is incredibly underpowered. -->
  <!-- What follows is very ugly code that is not possible to improve due to lack of features. -->

  <div id="projects-list">
    {% for project_entry in site.data.projects %}
    {% assign project = project_entry[1] %}
    {% assign project_name = project_entry[0] %}
    <div class="project" id="project-{{ project_name | downcase }}"  data-tags="{{ project.tags | join: ',' }}">
      <span class="title">
        {% if project.website %}<a href="{{ project.website }}">{% endif %}
          {% if project.icon and project.icon contains "://" %}
          <img src="{{ project.icon }}" alt="" />
          {% else %}
          <img src="/images/lang/{{ project.icon | default: 'placeholder.png' }}" alt="" />
          {% endif %}
          <h3>{{ project_name }}</h3>
        {% if project.website %}</a>{% endif %}
      </span>
      <span class="repo-icons">
        {% if project.twitter %}<a href="https://twitter.com/rebuild_lang">
          <img alt="Twitter" src="/images/twitter.svg" />
        </a>{% endif %}
        {% if project.gitter %}<a href="https://gitter.im/{{ project.gitter }}">
          <img alt="Gitter" src="/images/gitter.svg" />
        </a>{% endif %}
        {% if project.discord %}<a href="https://discord.gg/{{ project.discord }}">
          <img alt="Discord" src="/images/discord.svg" />
        </a>{% endif %}
        {% if project.matrix %}<a href="https://matrix.to/#/{{ project.matrix }}">
          <img alt="Matrix" src="/images/matrix.svg" />
        </a>{% endif %}
        {% if project.libera %}<a href="ircs://irc.libera.chat:6697/{{ project.libera }}">
          <img alt="Libera.Chat" class="nofilter" src="/images/libera.svg" />
        </a>{% endif %}
        {% if project.discourse %}<a href="{{ project.discourse }}">
          <img alt="Discourse" src="/images/discourse.svg" />
        </a>{% endif %}
        {% if project.reddit %}<a href="https://reddit.com/r/{{ project.reddit }}">
          <img alt="Reddit" src="/images/reddit.svg" />
        </a>{% endif %}
        {% if project.github %}<a href="https://github.com/{{ project.github }}">
          <img alt="GitHub" src="/images/github.svg" />
        </a>{% endif %}
        {% if project.gitlab %}<a href="https://gitlab.com/{{ project.gitlab }}">
          <img alt="GitLab" src="/images/gitlab.svg" />
        </a>{% endif %}
      </span>
      <span class="author">
        {% if project.organization %}
          {% if project.organization.website %}<a href="{{ project.organization.website }}">{% endif %}
            {{ project.organization.name | default: project.organization }}<!--
          {% if project.organization.website %}--></a><!--{% endif %}
          {% if project.authors %}-->, including <!--{% endif %}
          {% if project.author %}-->, including <!--{% endif %}-->
        {% endif %}
        {% assign num_authors = project.authors | size %}
        <!-- {% if num_authors < 2 %}-->
          {% assign author = project.authors[0] | default: project.author %}
          {% if author.website %}<a href="{{ author.website }}">{% endif %}
            {{ author.name | default: author }}
          {% if author.website %}</a>{% endif %}
        {% else %}-->
          {% assign authors_except_last = project.authors | reverse | shift | reverse %}
          {% for author in authors_except_last %}
            {% if author.website %}<a href="{{ author.website }}">{% endif %}
              {{ author.name | default: author }}<!--
            -->{% if author.website %}</a>{% endif %},
          {% endfor %}
          and
          {% assign last_author_prime = project.authors | reverse | pop %}
          {% assign last_author = last_author_prime[0] %}
          {% if last_author.website %}<a href="{{ last_author.website }}">{% endif %}
            {{ last_author.name | default: last_author }}
          {% if last_author.website %}</a>{% endif %}
        {% endif %}
      </span>
      <p>{{ project.summary }}</p>
    </div>
    {% endfor %}
  </div>
</section>

<section id="irc">
  <h2>#proglangdesign on irc.libera.chat</h2>
  <h3 id="join-irc">Joining the IRC channel</h3>
  <p>There are many ways to connect to IRC. You can:</p>
  <ul class="shell-list">
    <li>
      Install one of the
      (<a href="https://en.wikipedia.org/wiki/Comparison_of_Internet_Relay_Chat_clients">many!</a>)
      available IRC clients.
    </li>
    <li>Use <a href="https://riot.im/app/#/directory">riot.im</a>
      (join #proglangdesign:libera.chat)</li>
    <li>
      Join the
      <a href="http://kiwiirc.com/client/irc.libera.chat/#proglangdesign">#proglangdesign channel</a>
      with a web-based client.
    </li>
  </ul>
  <p>
    You may also wish to peruse this
    <a href="https://www.youtube.com/watch?v=O2rGTXHvPCQ">
      excerpt from a documentary on IRC.</a>
  </p>
  <h3 id="irc-bots">IRC Bots</h3>
  <p>
    No channel is complete without a collection of noisy bots.
    They are also a good way to show off your programming language.
    The following bots can be found on #proglangdesign.
    Please do not abuse them; it is not their fault.
  </p>
  <ul>
    <li>
      <span class="shell"><a href="https://github.com/egel-lang/egel-bot">egelbot</a>:</span>
      Speaks <a href="https://egel-lang.github.io/">Egel</a>.
    </li>
    <li>
      <span class="shell"><a href="https://github.com/HackerFoo/poprc/blob/master/irc.c">popr</a>:</span>
      Speaks
      <a href="http://hackerfoo.com/posts/popr-tutorial-0-dot-machines.html">Popr</a>.
      Also supports interactive programs.
    </li>
    <li>
      <span class="shell"><a href="https://github.com/diku-dk/sturluson">sturluson</a>:</span>
      Speaks <a href="https://futhark-lang.org/">Futhark</a>.
    </li>
    <li>
      <span class="shell"><a href="https://github.com/Gwion/gwion-cinch-bot">gwionbot</a>:</span>
      Speaks <a href="https://Gwion.github.io/Gwion/">Gwion</a>.
    </li>
  </ul>
  <p>
    To try out a bot, simply say
    `<code>botname: some &lt;lang&gt; code</code>`.
  </p>
</section>

<section id="resources">
  <h2>Resources</h2>
  <h3 id="wiki">PLD Wiki</h3>
  <p>
    We have a
    <a href="https://proglangdesign.net/wiki/">
      wiki</a>! Only members of the GitHub organization can
    <a href="https://github.com/proglangdesign/proglangdesign-wiki/wiki">
      edit the wiki</a>.
  </p>
  <h3 id="join-github">Joining the GitHub organization</h3>
  <p>
    If you are a regular on #proglangdesign, ask hackerfoo for an invitation
    to the <a href="https://github.com/proglangdesign/">GitHub organization</a>.
    GitHub organization membership is necessary to edit the wiki, or
    <a href="https://github.com/proglangdesign/proglangdesign.github.io">
      modify this website</a> without needing to make a pull request.
  </p>
  <h3 id="handy-links">Handy Links</h3>
  <ul>
    <li>
      <a href="http://profs.sci.univr.it/~merro/files/harper.pdf">
        Practical Foundations for Programming Languages (PDF)
      </a> is a very comprehensive introduction to programming language theory.
    </li>
    <li>
      <a href="http://lambda-the-ultimate.org/">Lambda the Ultimate</a>,
      probably the oldest programming languages weblog out there.
    </li>
    <li>
      <a href="http://craftinginterpreters.com">Crafting Interpreters</a>,
      an online, in progress book by Bob Nystrom explaining how to create interpreters and compilers from both Java and
      C, from scratch.
    </li>
  </ul>
</section>