Lolita: A tagless, dependently typed, self-aware programming language

Re:Lolita: A tagless, dependently typed, self-aware programm... by lawlessone on Monday April 22, 2024 @03:13PM (#40117720)

probably could use a different name... jesus.

[ Parent | on HN ]

Re:Lolita: A tagless, dependently typed, self-aware programm... by Luc on Monday April 22, 2024 @03:15PM (#40117734)

That is possibly even worse!

[ Parent | on HN ]

Re:Lolita: A tagless, dependently typed, self-aware programm... by jordanreger on Monday April 22, 2024 @03:17PM (#40117751)

Nah with a good SEO team it'll be the first result on Google

[ Parent | on HN ]

Re:Lolita: A tagless, dependently typed, self-aware programm... by 082349872349872 on Monday April 22, 2024 @03:28PM (#40117868)

Current Google results:

  "The Beatles"  105 million
  Jesus          942 million

Sorry, Mr. Lennon.

[ Parent | on HN ]

Re:Lolita: A tagless, dependently typed, self-aware programm... by slowmovintarget on Monday April 22, 2024 @04:33PM (#40119925)

"The server is risen!"

[ Parent | on HN ]

Re:Lolita: A tagless, dependently typed, self-aware programm... by BurdensomeCount on Monday April 22, 2024 @04:42PM (#40120028)

Uptime: Close to 2000 years at this point.

[ Parent | on HN ]