WRwruza·Oct 10, 2021
titan-lang.org
Why is it down? I found other links for those interested:
https://github.com/titan-lang/titan
https://github.com/titan-lang/titan/blob/master/doc/manual.m...
In Python and Lua (2019)titan-lang
titan
Lua2018–2021
titan-lang / titan
titan
The Titan programming language
4Distinct people
5Mentions
0Explicit recommenders
413GitHub stars
What to know before exploring
What it is
The Titan programming language
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
- pallene-lang/pallene · linked in 3 of the same discussions
Mentioned in the same Hacker News threads. That is not proof they are substitutes.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year5 dated mentions
Observed mentions: 2018-07-27 07:07:29 UTC to 2021-10-10 07:55:30 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2018 | 2018-01-01 00:00:00 UTC | 2019-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2019 | 2019-01-01 00:00:00 UTC | 2020-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 1 | 0 | 1 |
What Hacker News says
5 sourcesInteresting, I assume you are familiar with Terra, Titan and Pallene research languages?
I love the idea of typed base language to implement a higher level more flexible language while still being able to drop down for correctness and speed. Gradually dynamically typed, ;)
Another thing to look at is https://chocopy.org/ a typed subset of Python for teaching compilers courses. Might be worthwhile pinging Chocopy students and enticing them towards epython.
What is the semantic union and intersection between EPython and Chocopy?
[1] http://terralang.org/
[2] https://github.com/titan-lang/titan
[3] https://github.com/pallene-lang/pallene
In Attempts to make Python fastThank you for such a detailed response, I am grateful.
You mentioned Terra which is an inspiration of mine, I really enjoy mixing high level and low level code and being able to do so in the same program which is one of the major affordances of LuaJIT.
Hugo M. Gualandi and Roberto Ierusalimschy have released the core Lua teams' version of Terra, in Pallene [1] [2] which has the austere aesthetic of Lua applied to ideas of Terra. Pallene looks to be the next incarnation of Titan [3].
[1] http://www.inf.puc-rio.br/~roberto/docs/pallene-sblp.pdf
[2] https://github.com/pallene-lang/pallene
[3] https://github.com/titan-lang/titan
In David Patterson Says It’s Time for New Computer Architectures and LanguagesThere's also Typed Lua: https://github.com/andremm/typedlua
The lead author gave a good presentation at Lua Workshop 2017 in SF: https://www.lua.org/wshop17/Maidl.pdf
Both Sol and Typed Lua are no longer maintained. The Typed Lua author is working on a statically compiled cousin to Lua: https://github.com/titan-lang/titan
I haven't used Sol or Typed Lua (too lazy), but I use the Typed Lua syntax for my recent API documentation as it reads well and allows me to minimally document an API before I get around to adding proper descriptions.
In Lua and Typesafety = Sol