search

diprism / perpl

The PERPL Compiler
MIT License
10 stars 5 forks source link

Language name #30

Closed davidweichiang closed 1 year ago

davidweichiang commented 2 years ago

PPL is not a very descriptive or fun name...any other ideas?

davidweichiang commented 2 years ago

My son suggests "Shrinkray."

ccshan commented 2 years ago

In case you're not aware, several PPLs have been named "somethingPPL" where "PPL" is pronounced "people". For example "CTPPL: A Continuous Time Probabilistic Programming Language" pronounced "cat people".

davidweichiang commented 2 years ago

We could metonymically give it the same name as the whole project: Diprism = differentiable programming with recursive structured models

Or: Taira = this acronym isn't recursive anymore which happens to be a Japanese word, in keeping with the tradition of Hakaru.

ccshan commented 2 years ago

I suddenly thought "DPRSPPL", pronounced "depress people"

colin-mcd commented 2 years ago

Just another idea: Samppl - Sample/Some Acronym Made for a Probabilistic Programming Language

davidweichiang commented 2 years ago

Pushmi-pullyu

davidweichiang commented 2 years ago

Um (because it reorders things to get rid of mu)

ccshan commented 2 years ago

Does "Um" perhaps go with the paper title, "From fixpoint types to fixpoint weights"?

davidweichiang commented 2 years ago

When we're sure about the name, let's rename this repository.

davidweichiang commented 2 years ago

How about Perpl (probabilistic exact recursive programming language)? @HerbertMcSnout

colin-mcd commented 2 years ago

Nice! I like it