A Logician's Exceptional Nightmare
You wake up in a cold sweat, beads of salty adrenaline pouring down your forehead. The entire night, you were tossing and turning and dreaming an awful nightmare. You let your mind drift towards the dark underbelly of your life’s expertise. But you, a logician, are determined to get to the bottom of this. So you grab your dream journal and start scribbling.
“It started in a world,” you begin to remember, “with the strangest rules for truth and falsehood.” As if propelled by a force outside your own body, you pen down the following arcane markings:
unit module CursedLogic;
sub f is export { Nil }
sub t is export { fail }
You recant a mantra you heard whispered to you in the dreamscape: “Truth is void and false bubbles up.” Strange.
Suddenly, a tremor shoots up your right arm. Your head droops and you vaguely remember the outlines and weak edges of relationships that accompanied these singleton values.
First to arrive in your minds eye is a way to turn truth into falsehood, a method through which you may transmute the fierce bubbling of falseness into a calm truthiness.
sub _not($a) is export {
sink $a;
CATCH {
return f
}
return t
}
The clock tower outside your bedroom strikes 7 sharp. Seven terse, shrill beats humming through the window and into your skull. You hear the neighbors fighting in the next apartment over. The birds chirp and your lover puts a kettle on the stove the floor below you. All of it hits you simultaneoulsy – and you, in your little intersection of the facets of the universe, pen down another relationship:
sub _and($a, $b) is export {
sink $a;
CATCH {
sink $b;
CATCH {
return t
}
return f
}
return f
}
Faster and faster now, you’re starting to recall all the disgusting intracacies of your hardly consistent dream world. You recalled placing both truth and falsehood abreast of one another, and taking whatever may have bubbled up away from the two. You quickly write that down in your dream journal, before the fleeting thought disappears entirely.
sub _or($a, $b) is export {
sink $a; sink $b;
CATCH {
return t
}
return f
}
The kettle is steaming and whistling now, and you know you have little time left before you must depart. You gaze out the window and towards the blue sky, feeling the universe itself bear down onto you. “One more relationship… just one more!” you mutter to yourself. “One more to rule all the others…” Sometimes your dreams sound like mediocre fantasy writing.
But then it comes back to you. Blocks flowing and exceptions being caught. An eldridtch horror bubbles up from the very depths of your mind:
sub _xor($a, $b) is export {
sink $a;
CATCH {
sink $b;
CATCH {
return f
}
return t
}
{
sink $b;
CATCH {
return t
}
return f
}
}
Your lover calls up to you, beckoning you to start the day.
use Test;
use lib '.';
use CursedLogic;
my &is-t = &dies-ok;
my &is-f = &lives-ok;
plan 4;
subtest 'or', {
is-f { _or(f, f) };
is-t { _or(f, t) };
is-t { _or(t, f) };
is-t { _or(t, t) };
}
subtest 'xor', {
is-f { _xor(f, f) };
is-t { _xor(f, t) };
is-t { _xor(t, f) };
is-f { _xor(t, t) };
}
subtest 'and', {
is-f { _and(f, f) };
is-f { _and(f, t) };
is-f { _and(t, f) };
is-t { _and(t, t) };
}
subtest 'not', {
is-t { _not(f) }
is-f { _not(t) }
}
done-testing;
1..4
ok 1 -
ok 2 -
ok 3 -
ok 4 -
1..4
ok 1 - or
ok 1 -
ok 2 -
ok 3 -
ok 4 -
1..4
ok 2 - xor
ok 1 -
ok 2 -
ok 3 -
ok 4 -
1..4
ok 3 - and
ok 1 -
ok 2 -
1..2
ok 4 - not
I really liked the style of Aphyr’s x’ing the technical interview series, so I wanted to write my own. I was also inspired to abuse Raku’s phasers by Scimon’s recent talk here. Feel free to leave comments using the email address below.