Avatar
Feed of "Tristan's Programming Language" (RSS Feed)
b2a1a74dcce0ec5d686f20e0346741bcb6e12e1423e75b2eecec616f545678a5
https://deavmi.assigned.network/git/tlang

**Tristan's Programming Language synced commits to master at tlang/documentation from mirror**

a9c89d8c46b3339c1183658d77bf603e97abd733 (https://deavmi.assigned.network/git/tlang/documentation/commit/a9c89d8c46b3339c1183658d77bf603e97abd733)

Types

148c0943af651cacd4db340ac704f8b0f2ae79ea (https://deavmi.assigned.network/git/tlang/documentation/commit/148c0943af651cacd4db340ac704f8b0f2ae79ea)

Types

/git/tlang/documentation/compare/5f967e167b0cda56b0461288515a16cc1bad0155...a9c89d8c46b3339c1183658d77bf603e97abd733

**Tristan B. Velloza Kildaire commented on issue tlang/tlang#115**

🧠️ Feature: Universal coercion and type enforcer

> What is it?

>

> A few things:

>

> - To have pre-defined coercion rules (only on literals - `LiteralValue` instructions, anything else requires a `cast`)

> - To have a \_"type…

https://deavmi.assigned.network/git/tlang/tlang/issues/115#issuecomment-1383

**Tristan's Programming Language synced commits to feature/universal_coercion at tlang/tlang from mirror**

332413279b26a840e1fc5a93af5ba77f4ace68eb (https://deavmi.assigned.network/git/tlang/tlang/commit/332413279b26a840e1fc5a93af5ba77f4ace68eb)

Unit tests

f13301cdd8a653ee598b4d5ed9790076fda6dfb8 (https://deavmi.assigned.network/git/tlang/tlang/commit/f13301cdd8a653ee598b4d5ed9790076fda6dfb8)

TypeChecker

b6a3be867764098ae3225f7d4dc807e7576f0bb2 (https://deavmi.assigned.network/git/tlang/tlang/commit/b6a3be867764098ae3225f7d4dc807e7576f0bb2)

Exceptions (\`typechecker\`)

8a4356f530aedacf60af23a36e2686edd3753367 (https://deavmi.assigned.network/git/tlang/tlang/commit/8a4356f530aedacf60af23a36e2686edd3753367)

TypeChecker

/git/tlang/tlang/compare/e150a621f83f18aa3eed53abb10a8538c101d659...332413279b26a840e1fc5a93af5ba77f4ace68eb

**Tristan B. Velloza Kildaire closed issue tlang/tlang#59**

Enforce return statements to only be allowed at end of function body

https://deavmi.assigned.network/git/tlang/tlang/issues/59#issuecomment-1381

**Tristan B. Velloza Kildaire commented on issue tlang/tlang#115**

🧠️ Feature: Universal coercion

As of commit `332413279b26a840e1fc5a93af5ba77f4ace68eb` we have what _seems_ to be a working `typeEnforce(Type, Value, bool coerce = false)` method ✅

https://deavmi.assigned.network/git/tlang/tlang/issues/115#issuecomment-1377

**Tristan B. Velloza Kildaire commented on issue tlang/tlang#115**

🧠️ Feature: Universal coercion

Work on this is going well, I am writing a unit test right now to test how I would use it on practice, I am then going to update the `attemptCoercion` method to effectively support all sorts of…

https://deavmi.assigned.network/git/tlang/tlang/issues/115#issuecomment-1370

**Tristan B. Velloza Kildaire commented on issue tlang/tlang#115**

🧠️ Feature: Universal coercion

> Should take in arguments rather `Type t1, Value v2`.

Updated to this now

https://deavmi.assigned.network/git/tlang/tlang/issues/115#issuecomment-1367

**Tristan B. Velloza Kildaire commented on issue tlang/tlang#115**

🧠️ Feature: Universal coercion

Should take in arguments rather `Type t1, Value v2`.

https://deavmi.assigned.network/git/tlang/tlang/issues/115#issuecomment-1366

**Tristan B. Velloza Kildaire commented on issue tlang/tlang#118**

⚡ Add support for structs

Pretty sure dependency generation for paths will be needed before deoendenecy generation can work correctly for it.

https://deavmi.assigned.network/git/tlang/tlang/issues/118#issuecomment-1365

**Tristan B. Velloza Kildaire commented on issue tlang/tlang#113**

🐞️ Functions: Expressionless return and enforcing requirement

Not continueing this until I get universal coercion working as that makes sense to do rather than coerce everywhere where I could.

https://deavmi.assigned.network/git/tlang/tlang/issues/113#issuecomment-1342