Who has posted? | | View a Printable Version

**OTTO** · 11-18-2016, 04:24 AM

You must be registered to view this content.

**OTTO** · 11-18-2016, 04:26 AM

You must be registered to view this content.

Ixcaliber · 11-18-2016, 04:27 AM

Introducing the new Ooja Meal! Get the Ouijo meal get the new brand new wejo meal buy this meal speak to the dead! With the new weeja meal you can speak to the devil themselves. Even the devil loves the Ojou meal get the new oujoa meal for just no pounds and no pence now at MacDonlald. Come and get the owji meal come and feed your kids the oujia meal they'll love it they'll love to feast on the oiujer meal. There's no escape from the wojo meal everyone please enjoy it now at MacDonald.

**OTTO** · 11-18-2016, 04:29 AM

You must be registered to view this content.

**OTTO** · 11-18-2016, 04:31 AM

You must be registered to view this content.

Ixcaliber · 11-18-2016, 04:33 AM

IT'S ME

**OTTO** · 11-18-2016, 04:36 AM

You must be registered to view this content.

qwerx3 · 11-18-2016, 04:37 AM

**OTTO** · 11-18-2016, 04:38 AM

You must be registered to view this content.

Sruixan · 11-18-2016, 04:41 AM

(11-18-2016, 03:52 AM)Dragon Fogel Wrote: »The letter b 3008 times and no B.

This post passes rules 2 and 5.

(11-18-2016, 03:54 AM)Dragon Fogel Wrote: »
OTTO Wrote:

Show Content

Spoiler1543 weird dogs

This post passes rules 3, 4 and 5.

This post passes rules 2 and 5.

(11-18-2016, 03:54 AM)Ixcaliber Wrote: »Epilogue: Nigels flowed down the road, down the street, through the enchanted forest home to the danger elf and into the ocean where they formed a glam metal band called Shocker and took the world by storm.

This post passes rules 3 and 5.

(11-18-2016, 03:56 AM)Dragon Fogel Wrote: »I'm at work again and stocking the cooler vOTE 1543 for me to stock weird dogs vote 2 for me to stock Pepsi

This post passes rules 2, 3 and 5.

This post passes rule 2.

This post passes rules 2 and 5.

This post passes rule 2.

(11-18-2016, 04:00 AM)qwerx3 Wrote: »unusual combination: a post that passes rule 1

This post passes rule 5.

This post passes rules 3 and 5.

(11-18-2016, 04:01 AM)Ixcaliber Wrote: »{well these two people would appear to be having a time}

This post passes rule 2 and 5.

This post passes rule 2.

This post passes rules 2 and 5.

(11-18-2016, 04:04 AM)Dragon Fogel Wrote: »I'm at work again and stocking the cooler vOTE 1543 for me to stock weird dogs vote fremp for me to stock lubrication

This post passes rules 3, 4 and 5.

This post passes rule 5.

(11-18-2016, 04:04 AM)qwerx3 Wrote: »It really isn't!

This post passes rules 2 and 5.

(11-18-2016, 04:06 AM)Ixcaliber Wrote: »{these are the thoughts running through this person's head}

every day every night every afternoon every dawn every biscuit every croissant every scone every tangerine every blueberry every man every mouse every soldier every harpist every tide every house every mouth every hole every day

This post passes rule 5.

This post passes rule 2.

(11-18-2016, 04:09 AM)qwerx3 Wrote: »

This post doesn't pass any rules!

(11-18-2016, 04:09 AM)Ixcaliber Wrote: »{ix assures me that the velocipede is the thing being stolen

I am swayed by their argument}

TANTALIZING VELOCIPEDE

This post passes rules 2 and 5.

This post passes rules 2 and 5.

(11-18-2016, 04:14 AM)qwerx3 Wrote: »

This post passes rule 5.

(11-18-2016, 04:15 AM)Ixcaliber Wrote: »{this is a real good image}

hey um i got your i got your um your package? i got it. i um i got it here. your package. here it is. your package. i got it here. it's your package. got your package here. hey um i have your package. this is your package right?

This post passes rule 5.

This post passes rule 5.

(11-18-2016, 04:20 AM)qwerx3 Wrote: »

This post passes rule 5.

This post passes rule 5.

This post passes rule 5.

This post passes rule 2.

This post passes rules 2 and 5.

(11-18-2016, 04:27 AM)Ixcaliber Wrote: »

Introducing the new Ooja Meal! Get the Ouijo meal get the new brand new wejo meal buy this meal speak to the dead! With the new weeja meal you can speak to the devil themselves. Even the devil loves the Ojou meal get the new oujoa meal for just no pounds and no pence now at MacDonlald. Come and get the owji meal come and feed your kids the oujia meal they'll love it they'll love to feast on the oiujer meal. There's no escape from the wojo meal everyone please enjoy it now at MacDonald.

This post passes rules 3 and 5.

This post passes rule 5.

This post passes rule 5.

(11-18-2016, 04:33 AM)Ixcaliber Wrote: »
{it's me, this individual}

IT'S ME

This post passes rules 2 and 5.

(11-18-2016, 04:37 AM)qwerx3 Wrote: »

This wonderful post passes just rule 5.

This post passes rule 2.

Ixcaliber · 11-18-2016, 04:41 AM

hi sruix

qwerx3 · 11-18-2016, 04:41 AM

**OTTO** · 11-18-2016, 04:42 AM

You must be registered to view this content.

**Kaynato** · 11-18-2016, 04:42 AM

The Sun that Shone like Walking Maggots
A Short Story
by THE RULES
Darth Ramsbottom looked at the damp rock in his hands and felt shocked.

He walked over to the window and reflected on his deprived surroundings. He had always loved old-fashioned New York with its cuddly, colorful cliffs. It was a place that encouraged his tendency to feel shocked.

Then he saw something in the distance, or rather someone. It was the figure of Mavis Pigeon. Mavis was an admirable teacher with greasy lips and ginger arms.

Darth gulped. He glanced at his own reflection. He was a bold, scheming, beer drinker with grubby lips and greasy arms. His friends saw him as a wonky, wicked writer. Once, he had even revived a dying, deaf person.

But not even a bold person who had once revived a dying, deaf person, was prepared for what Mavis had in store today.

The sun shone like walking maggots, making Darth ecstatic.

As Darth stepped outside and Mavis came closer, he could see the condemned glint in her eye.

Mavis gazed with the affection of 7275 vile blushing blue bottles. She said, in hushed tones, "I love you and I want a pencil."

Darth looked back, even more ecstatic and still fingering the damp rock. "Mavis, I am your father," he replied.

They looked at each other with ecstatic feelings, like two knowing, knobbly kittens thinking at a very spiteful Halloween party, which had classical music playing in the background and two admirable uncles jogging to the beat.

Darth regarded Mavis's greasy lips and ginger arms. "I feel the same way!" revealed Darth with a delighted grin.

Mavis looked afraid, her emotions blushing like a grieving, gifted guillotine.

Then Mavis came inside for a nice drink of beer.

THE END

**Kaynato** · 11-18-2016, 04:43 AM

I love lollipop chocolate cake sesame snaps gingerbread muffin jelly candy. Donut croissant I love caramels brownie tootsie roll I love jelly-o jelly. Candy canes marshmallow tiramisu biscuit caramels sweet roll. Jujubes cookie icing chupa chups oat cake biscuit I love macaroon. Bonbon carrot cake I love pastry. Sugar plum tiramisu I love tart jelly-o tart. Wafer pastry chocolate pastry. Candy canes cookie cotton candy gingerbread caramels bear claw caramels. Oat cake tiramisu tiramisu. Tart sesame snaps chocolate gummi bears I love. Candy canes pudding I love jelly-o jelly beans jujubes donut. Liquorice lemon drops I love liquorice.
Dragée fruitcake sesame snaps gummies apple pie halvah. Oat cake pudding ice cream biscuit jelly beans powder fruitcake sugar plum. Fruitcake pie cake halvah. Cookie chocolate bar dessert pastry danish. Toffee donut chocolate bar. I love bonbon caramels cake. Cupcake sweet halvah chocolate cake. Cookie I love soufflé marzipan toffee fruitcake. I love sugar plum sweet gummi bears I love tootsie roll liquorice. Cotton candy chocolate chocolate bar sweet roll carrot cake sweet tiramisu. Lollipop I love oat cake. Halvah I love tart jelly beans jelly beans gingerbread. I love caramels halvah.
Caramels apple pie sweet roll wafer soufflé I love cake pie. Croissant lemon drops I love gummi bears lemon drops brownie I love candy canes chocolate bar. Caramels jujubes ice cream ice cream chocolate bar liquorice sugar plum. Bonbon pie sugar plum donut icing. Soufflé brownie cookie carrot cake carrot cake chocolate bar. Cookie caramels wafer lemon drops pudding apple pie. Jujubes sweet roll I love toffee cupcake chupa chups tiramisu cotton candy. Powder caramels powder jujubes icing. Croissant chocolate cake powder caramels. Tart cupcake dragée candy pie cheesecake. Topping candy cake lemon drops dessert chocolate. Jelly biscuit I love chocolate cake donut lollipop. Cake chupa chups I love cake. Brownie tootsie roll soufflé.
Gummies marshmallow sugar plum. Bonbon I love tiramisu candy gingerbread sweet roll donut. Jelly-o fruitcake jelly jelly-o bear claw. Lollipop pastry tart liquorice cake pie. Dessert apple pie sugar plum jelly. I love cotton candy I love dragée. Cake bonbon jujubes tart muffin danish. Jelly macaroon I love cotton candy. Sweet bear claw candy powder tart cotton candy jujubes caramels. Bear claw tart I love chupa chups sweet I love tootsie roll. Chocolate marzipan oat cake danish tootsie roll jujubes sesame snaps fruitcake. Tart gingerbread chupa chups chupa chups topping tiramisu. I love I love dragée gummies jelly beans cotton candy jujubes chupa chups.
Pastry sweet apple pie pastry. Tootsie roll gummi bears marzipan jelly beans gummies I love muffin pie. Gummi bears I love lemon drops chocolate bar. Candy canes macaroon I love. Chupa chups biscuit pudding I love pie tart I love marzipan. Bear claw bonbon gummies carrot cake. Bear claw pudding tootsie roll jelly beans carrot cake pastry. Wafer cake powder caramels marshmallow cupcake. Icing gummies dessert sweet halvah jelly-o pie cotton candy icing. Candy canes sugar plum croissant biscuit tart I love. Sweet cupcake danish I love soufflé donut. Candy canes chocolate bar pudding candy canes. I love candy wafer danish dragée bonbon gingerbread pudding. I love jelly-o biscuit jelly beans ice cream chupa chups tart candy.

**Kaynato** · 11-18-2016, 04:45 AM

Their content to two days to climb - not enough, the photo was abandoned speakers.

Old lover, physical function, money management.

Group, ah, deceptive piece. Oh, but not lady to improve the soft-melt soft lying with him.

Look at the paste bar is similar to send bully character is amazing teacher, the adapter is afraid of retribution Oh day and night to look forward to nursing with him.

Accompanying is not a lie to accompany the laity into silent laity lose money.

**OTTO** · 11-18-2016, 04:46 AM

You must be registered to view this content.

qwerx3 · 11-18-2016, 04:48 AM

**Kaynato** · 11-18-2016, 04:49 AM

Into the spectrum does not, to touch Oh write, paper bag afraid.
Refuted,
A batch of A, Po into the spectrum
No, to touch Oh write, paper bag afraid.
Refuted a batch of A, Po split cheating approved level
You can pull together
Ah ah broken
Was pressed, forcing Grandpa yo, Curcuma in order to ensure that floating ah.
Gone with the wind if a friend himself
Cheating leg ratified
You can pull together
Ah ah ah broken pressure, forced to Grandpa yo, to ensure that floating to Curcuma Yeah.
Gone with the wind if a friend himself

Sruixan · 11-18-2016, 04:51 AM

(11-18-2016, 04:41 AM)Ixcaliber Wrote: »hi sruix

This post passes rule 5.

(11-18-2016, 04:41 AM)qwerx3 Wrote: »

This post passes rule 2.

This post passes rule 2.

(11-18-2016, 04:42 AM)Kaynato Wrote: »The Sun that Shone like Walking Maggots
A Short Story
by THE RULES
Darth Ramsbottom looked at the damp rock in his hands and felt shocked.

He walked over to the window and reflected on his deprived surroundings. He had always loved old-fashioned New York with its cuddly, colorful cliffs. It was a place that encouraged his tendency to feel shocked.

Then he saw something in the distance, or rather someone. It was the figure of Mavis Pigeon. Mavis was an admirable teacher with greasy lips and ginger arms.

Darth gulped. He glanced at his own reflection. He was a bold, scheming, beer drinker with grubby lips and greasy arms. His friends saw him as a wonky, wicked writer. Once, he had even revived a dying, deaf person.

But not even a bold person who had once revived a dying, deaf person, was prepared for what Mavis had in store today.

The sun shone like walking maggots, making Darth ecstatic.

As Darth stepped outside and Mavis came closer, he could see the condemned glint in her eye.

Mavis gazed with the affection of 7275 vile blushing blue bottles. She said, in hushed tones, "I love you and I want a pencil."

Darth looked back, even more ecstatic and still fingering the damp rock. "Mavis, I am your father," he replied.

They looked at each other with ecstatic feelings, like two knowing, knobbly kittens thinking at a very spiteful Halloween party, which had classical music playing in the background and two admirable uncles jogging to the beat.

Darth regarded Mavis's greasy lips and ginger arms. "I feel the same way!" revealed Darth with a delighted grin.

Mavis looked afraid, her emotions blushing like a grieving, gifted guillotine.

Then Mavis came inside for a nice drink of beer.

THE END

This post passes rules 3 and 5.

(11-18-2016, 04:43 AM)Kaynato Wrote: »I love lollipop chocolate cake sesame snaps gingerbread muffin jelly candy. Donut croissant I love caramels brownie tootsie roll I love jelly-o jelly. Candy canes marshmallow tiramisu biscuit caramels sweet roll. Jujubes cookie icing chupa chups oat cake biscuit I love macaroon. Bonbon carrot cake I love pastry. Sugar plum tiramisu I love tart jelly-o tart. Wafer pastry chocolate pastry. Candy canes cookie cotton candy gingerbread caramels bear claw caramels. Oat cake tiramisu tiramisu. Tart sesame snaps chocolate gummi bears I love. Candy canes pudding I love jelly-o jelly beans jujubes donut. Liquorice lemon drops I love liquorice.
Dragée fruitcake sesame snaps gummies apple pie halvah. Oat cake pudding ice cream biscuit jelly beans powder fruitcake sugar plum. Fruitcake pie cake halvah. Cookie chocolate bar dessert pastry danish. Toffee donut chocolate bar. I love bonbon caramels cake. Cupcake sweet halvah chocolate cake. Cookie I love soufflé marzipan toffee fruitcake. I love sugar plum sweet gummi bears I love tootsie roll liquorice. Cotton candy chocolate chocolate bar sweet roll carrot cake sweet tiramisu. Lollipop I love oat cake. Halvah I love tart jelly beans jelly beans gingerbread. I love caramels halvah.
Caramels apple pie sweet roll wafer soufflé I love cake pie. Croissant lemon drops I love gummi bears lemon drops brownie I love candy canes chocolate bar. Caramels jujubes ice cream ice cream chocolate bar liquorice sugar plum. Bonbon pie sugar plum donut icing. Soufflé brownie cookie carrot cake carrot cake chocolate bar. Cookie caramels wafer lemon drops pudding apple pie. Jujubes sweet roll I love toffee cupcake chupa chups tiramisu cotton candy. Powder caramels powder jujubes icing. Croissant chocolate cake powder caramels. Tart cupcake dragée candy pie cheesecake. Topping candy cake lemon drops dessert chocolate. Jelly biscuit I love chocolate cake donut lollipop. Cake chupa chups I love cake. Brownie tootsie roll soufflé.
Gummies marshmallow sugar plum. Bonbon I love tiramisu candy gingerbread sweet roll donut. Jelly-o fruitcake jelly jelly-o bear claw. Lollipop pastry tart liquorice cake pie. Dessert apple pie sugar plum jelly. I love cotton candy I love dragée. Cake bonbon jujubes tart muffin danish. Jelly macaroon I love cotton candy. Sweet bear claw candy powder tart cotton candy jujubes caramels. Bear claw tart I love chupa chups sweet I love tootsie roll. Chocolate marzipan oat cake danish tootsie roll jujubes sesame snaps fruitcake. Tart gingerbread chupa chups chupa chups topping tiramisu. I love I love dragée gummies jelly beans cotton candy jujubes chupa chups.
Pastry sweet apple pie pastry. Tootsie roll gummi bears marzipan jelly beans gummies I love muffin pie. Gummi bears I love lemon drops chocolate bar. Candy canes macaroon I love. Chupa chups biscuit pudding I love pie tart I love marzipan. Bear claw bonbon gummies carrot cake. Bear claw pudding tootsie roll jelly beans carrot cake pastry. Wafer cake powder caramels marshmallow cupcake. Icing gummies dessert sweet halvah jelly-o pie cotton candy icing. Candy canes sugar plum croissant biscuit tart I love. Sweet cupcake danish I love soufflé donut. Candy canes chocolate bar pudding candy canes. I love candy wafer danish dragée bonbon gingerbread pudding. I love jelly-o biscuit jelly beans ice cream chupa chups tart candy.

This post passes rules 3 and 5.

(11-18-2016, 04:45 AM)Kaynato Wrote: »Their content to two days to climb - not enough, the photo was abandoned speakers.

Old lover, physical function, money management.

Group, ah, deceptive piece. Oh, but not lady to improve the soft-melt soft lying with him.

Look at the paste bar is similar to send bully character is amazing teacher, the adapter is afraid of retribution Oh day and night to look forward to nursing with him.

Accompanying is not a lie to accompany the laity into silent laity lose money.

This post passes rules 3 and 5.

This post passes rule 2.

(11-18-2016, 04:48 AM)qwerx3 Wrote: »

This post passes rule 5.

(11-18-2016, 04:49 AM)Kaynato Wrote: »Into the spectrum does not, to touch Oh write, paper bag afraid.
Refuted,
A batch of A, Po into the spectrum
No, to touch Oh write, paper bag afraid.
Refuted a batch of A, Po split cheating approved level
You can pull together
Ah ah broken
Was pressed, forcing Grandpa yo, Curcuma in order to ensure that floating ah.
Gone with the wind if a friend himself
Cheating leg ratified
You can pull together
Ah ah ah broken pressure, forced to Grandpa yo, to ensure that floating to Curcuma Yeah.
Gone with the wind if a friend himself

This post passes rules 3 and 5.

**Kaynato** · 11-18-2016, 04:51 AM

¢¢Ě¢¢ę Ġ ¢¢ ¢¡ £ ĵ¢¢ ¡¢££££¢£¢¢¢

Ĵ¡££££ Ě ĴĴ¢£¢ Ě ££Ĵ Ĵ¢££££ę££¢ Ĵ Ĵ££ ££Ĵ ĴĴ£££££¡ Ĵ ¡ ¡¡¡ ¡Ě¡ ¡¡ ¢££¡¡ ¡ ¡¡¡¡ ¡ ¡ ¡¡¡ Ĵ¢¡¡¢¢¡¢Ĵ ¢ ¢Ĵ ¡ ¡¡ ¢ę¡Ĵ¡ę ęę ¡ ę¡¡¡¡Ĵ¡¡¡¡ ¡ę¡ ¡ ¡ Ě¢¡¡¡ ¡¡¡¡£¡¡¡¡£¡¡¡¡¡¡¡¡ ¡¡¡¡¡£Ě££¡£¡¡¡ ¡ £¡¡¡¡ę¡¡¡¡ Ě¡¢¡¡¡¡¡¡ ¡¡¡¡Ĵ¡¡¡¡¡Ě¡¡¡¡¡¡¡

¡¡ę¡ę¡¡¡¡¡¡¡¡¡¢¡¡ ¡¡¡¡¡¡¡¡¡Ě¡¡ ¡¡¡¡¡ ¡¡¡¢ ¡¡¡¡¡¡¢¡¡Ě¡ ¡¡¡¡Ě¡¡¡¡¢¡¡¡¡¡ ¡¡¡¡¡¡¡¡¡ ¡£¡¡¡ ¡ ¡ę¡¡£¡¡¡¡¡¡¡ę¡¡ ¡¡¡¡¡¡¡¡£¡£¡¡ę¡ę¡¡¡ ¡¡¡¡¡ę¡ę¡¡¡¡¡¡¡ ¡¡ ¡Ĝ¡¡¡¡¡¡¡¢Ĵ¡¡¡ ¡¡¡¡¡¡¡Ĵ¡ę¡¡¡¡¡¡¡¡ ¡¡¡¡¡ę¡¡¡¡¡¡¡¡¡¡ ¡¡¡¡¡ ¡¡¡¡¡¡Ě¡¡¡¡ ¡¡¡ ¡¡¡¡¡¡¡¡¡¡ ¡ ¡¡¡¡¡¡¡¡¡¡¡¡£ ¡¡¡¡¢¡¡¡¡¡¡ę¡ ¡¡ę¡£ ¡¡¡¡ę¡ę¡¡¡¡¡¡¡¡ ¡¡ ¡¡¡¡¡¡¡ę¡Ě¡¡¡¡

£¡¡¡¡¡¡¢¡Ě¡ ¡¡¡ ¡£¡¡¡¢ ¡ę¡¡ę¡¡£¡¡ ęęĴĚ£ ę £ ę¢ ¢ ¢ę ě ¡ę ¢Ě ę ¡ £ Ĵ ĚĚę¡ ěę ¢ ĴĚę ¡ę¡ ę£¡Ě ę ¢££ ¢¢¢ Ĝ¢ě ¡Ĝ ę¢ę ę¢ Ĵ¢ ¢ ¢ ¢¢ ¡ ĚęĴ Ĵ ĴĴ ĴĴĚĴĴĴĚ Ĵ ę ĴĴ¡ Ĵ¡ęĴ Ĵę¡ ¡ Ěĝ ĝĝ¢ĝ¢ ĝ¢ĝ¢¢¢¢¢¢¢¢¢ĚĴ Ěę ę¢Ĵĵ¢ ěĴ ¢¢¢¢£¡Ĵ¢ĴĴĵ¢ĴĴĴ¡¢ĴĴ¢ĴĴ¢ Ĵ¢ĴĴĴěĴĴ ĴĴ ¢ ¢Ĵ ĴĴĴ ęĴ£¡ĴĚě ĴĴĴĜ ĜĚĴ¢ Ĵę £Ĵ ę¢ ¢ ę¢Ĵě ę¢ ĴĴ¢ĴĴ Ĵ¢Ěę¡ ¢Ě Ě Ě¢ ĵ ĵĜ ¡¢ę£ęęę ££Ě £Ě£ £¡ ę

¢ ĚĚ¢£ Ě ¡£¢

Ě¡Ě¡¡¡¢ ¡¡Ĵ¡ę ęęę £ £Ě Ĵ Ě£ĵ££Ě ¢ Ě¢Ĝ £¢ ę £¢£¢Ěęęę ęĜ£ ¡¢ ĴĚ Ě¡ ¢ ĵ ¡ £ £¢ ¡ Ĵę¡¢¡¡ ¢ ¡ ¢ ¡ ęę

qwerx3 · 11-18-2016, 04:51 AM

**Kaynato** · 11-18-2016, 04:52 AM

Programming Language Fan Fiction (extended abstract)

Stefan Muller, Carnegie Mellon University

Programming language theory and design is an area of research in which authors frequently make design
decisions. For example, authors might choose between call-by-name and call-by value; simply typed, dependently
typed and untyped; intensional and extensional; predicative and impredicative; C-style syntax and
ML-style syntax; statically and dynamically typed; garbage-collected and useless, etc. Inevitably, readers
of these papers wonder what would happen if one of these design decisions were made differently. This is
not a feature unique to programming languages; fan fiction is a popular process in which devotees of a work
of fiction reimagine the work in their own way. It thus seems that programming languages and fan fiction
could be combined to form a large body of new ideas, and it is the author’s opinion that SIGBOVIK is a
fine venue for such ideas.
Here, we present a number of avenues for development of programming language fan fiction. Some of
these areas appear novel; in others, some work has already been done which can now be drawn under the
umbrella of programming language fan fiction.
• Alternate notions of type membership. Type theories typically define the canonical forms of a
particular type, but occasionally variations on this canon are possible. For example, in a strict language,
canonical forms of pair type are (v1, v2) where v1 and v2 are themselves irreducible. Proponents
of laziness might instead consider values of pair type to be (e1, e2) where e1 and e2 are arbitrary
expressions. Expressions of a type which are considered by fans of a type theory, but not by the
original presentation, to be irreducible are known as headcanonical forms or, if accepted by a large
fanbase, fanonical forms.
1
• Hacking new features into old languages. A common source of complaints about programming
languages comes from the fact that a particular feature isn’t present in a particular language. This
complaint generally takes the form “I’d consider using language if only it had feature!” Examples
include:
– Statically-typed Python2
– Garbage-collected C [1]
– Concurrent ML [2]
– LaTeX with types
– LaTeX with decent syntax
– LaTeX with any features at all
Some of the above are considered conservative extensions. Often, however, adding a particular feature
to a particular language breaks a desired soundness property, makes type checking undecidable or
causes various other havoc. This is generally not considered a problem in fan fiction, so have at it.
• Meta-properties of fan fiction. One interesting area of future research is the application of programming
language techniques to the study of fan fiction. For example, fan fiction can be “Kripked” (a
reference to author Eric Kripke) if it is validated by new canon. However, this assumes that the development
of canon is linear. Often in computer science research, however, new developments will build
1Note that this terminology is itself subject to debate. Confusingly, some authors of type theory fan fiction believe that the
latter forms should be known as headcanonical forms and the former should be weak headcanonical forms. 2https://github.com/illume/static checking python

off of older ones in a nonlinear, branching fashion. This leads to the question of whether programming
language fan fiction can be “Kripked” (a reference to logician Saul Kripke) in a way consistent with
nonlinear reachability graphs.
• Fan fiction of type theory itself. Fans can make fan fiction not just of particular programming
languages or type theories, but of the subject of type theory itself. In important prior work in this
area, languages have been developed which are clearly based upon fan fiction-style manipulations of
type theory itself3.

References
[1] HansJ. Boehm and Paul F. Dubois. Dynamic memory allocation and garbage collection. Computers in
Physics, 9(3):297–303, 1995.
[2] John H. Reppy. CML: A higher-order concurrent language. In Proceedings of the SIGPLAN 1991
Conference on Programming Language Design and Implementation, pages 293–305, New York, NY, June
1991. ACM.

**Kaynato** · 11-18-2016, 04:52 AM

**OTTO** · 11-18-2016, 04:53 AM

You must be registered to view this content.