Спасибо Брагилевскому за просвещение, оказывается, Brainfuck - не просто какой-то смешной эзотерический язык. Он основан на языке P′′, придуманном Corrado Böhm аж в 1964 году для описания машины Тьюринга. Т.е. это были вполне себе математические исследования.

P′′ - это первый язык без goto, для которого доказана Тьюринг-полнота. Можно сказать прародитель структурного программирования.

Брейнфак - по сути тот же P′′, почти один в один, только с операторами ввода вывода.

(P.S. В русской Википедии есть интерпретатор Брейнфака на перле. По-моему, по читабельности Перл не очень далеко ушел от брейнфака.)

#!/usr/bin/perl
open F, shift;
@code = grep {/[+-\.,\[\]><]/} split '', <F>;
for (my $_ = 0; $_ < @code; ++$_) {
  ++$cpu[$i] if $code[$_] eq '+';
  --$cpu[$i] if $code[$_] eq '-';
  --$i if $code[$_] eq '<';
  ++$i if $code[$_] eq '>';
  print chr $cpu[$i] if $code[$_] eq '.';
  $cpu[$i] = ord <STDIN> if $code[$_] eq ',';
  if ($code[$_] eq '[') {
    if (!$cpu[$i]) {
      ++$brc;
      while ($brc) {
        ++$_;
        ++$brc if $code[$_] eq '[';
        --$brc if $code[$_] eq ']';
      }
    } else {
      next;
    }
  } elsif ($code[$_] eq ']') {
    if (!$cpu[$i]) {
      next;
    } else {
      ++$brc if $code[$_] eq ']';
      while ($brc) {
        --$_;
        --$brc if $code[$_] eq '[';
        ++$brc if $code[$_] eq ']';
      }
    --$_;
    }
  }
}