## Comments

    #! shebang
    // Single line comment
    /* Multi-line
    comment */

## Strings

    "This is a string."
    "This is a string with \"quotes\" in it."

## Numbers

    4711
    4711L
    1.2e-3
    .14
    1000
    0x3e8
    01750
    0b1111101000
    inf
    nan

## Inline code

Inline code requires the desired language to be loaded. On this page, check C, C++ and Fortran before checking Pure should make the examples below work properly.

    %<
    int mygcd(int x, int y)
    {
      if (y == 0)
        return x;
      else
        return mygcd(y, x%y);
    }
    %>

    %< -*- Fortran90 -*-
    function fact(n) result(p)
      integer n, p
      p = 1
      do i = 1, n
         p = p*i
      end do
    end function fact
    %>

    %< -*- C++ -*-

    #include <pure/runtime.h>
    #include <string>
    #include <map>

    // An STL map mapping strings to Pure expressions.

    using namespace std;
    typedef map<string,pure_expr*> exprmap;

    // Since we can't directly deal with C++ classes in Pure, provide some C
    // functions to create, destroy and manipulate these objects.

    extern "C" exprmap *map_create()
    {
      return new exprmap;
    }

    extern "C" void map_add(exprmap *m, const char *key, pure_expr *x)
    {
      exprmap::iterator it = m->find(string(key));
      if (it != m->end()) pure_free(it->second);
      (*m)[key] = pure_new(x);
    }

    extern "C" void map_del(exprmap *m, const char *key)
    {
      exprmap::iterator it = m->find(key);
      if (it != m->end()) {
        pure_free(it->second);
        m->erase(it);
      }
    }

    extern "C" pure_expr *map_get(exprmap *m, const char *key)
    {
      exprmap::iterator it = m->find(key);
      return (it != m->end())?it->second:0;
    }

    extern "C" pure_expr *map_keys(exprmap *m)
    {
      size_t i = 0, n = m->size();
      pure_expr **xs = new pure_expr*[n];
      for (exprmap::iterator it = m->begin(); it != m->end(); ++it)
        xs[i++] = pure_string_dup(it->first.c_str());
      pure_expr *x = pure_listv(n, xs);
      delete[] xs;
      return x;
    }

    extern "C" void map_destroy(exprmap *m)
    {
      for (exprmap::iterator it = m->begin(); it != m->end(); ++it)
        pure_free(it->second);
      delete m;
    }

    %>

## Example

    queens n       = catch reverse (search n 1 []) with
      search n i p = throw p if i>n;
                   = void [search n (i+1) ((i,j):p) | j = 1..n; safe (i,j) p];
      safe (i,j) p = ~any (check (i,j)) p;
      check (i1,j1) (i2,j2)
                   = i1==i2 || j1==j2 || i1+j1==i2+j2 || i1-j1==i2-j2;
    end;