Programming Language Theory

1. PLT prog plt

properties

ID: 3a1058df-158c-49eb-bcc5-21b842ec966e
CREATED: <2025-02-07 Fri 21:08>

edges

[2025-02-07 Fri 21:08] – Programming language theory - Wikipedia

Programming paradigm - Wikipedia

1.1. OOP obj

properties

ID: 44659589-80a3-459b-ad29-d2e5b208b451
CREATED: <2025-02-07 Fri 21:10>

edges

[2025-02-07 Fri 21:10] – Object-oriented programming - Wikipedia

Object-Oriented Programming

1.2. Functional Programming fun

properties

ID: 7dfd88e4-5511-4ff8-99ce-0fbf464bde58
CREATED: <2025-03-01 Sat 16:43>

edges

[2025-03-03 Mon 20:09] <- Haskell

Why Functional Programming Languages Will Never Be Mainstream | by Jeffrey Rennie | Jan, 2025 | ITNEXT

1.3. Deductive Programming

properties

ID: 2cf671a3-f33d-420e-9a9d-2eedd6cdcd43
CREATED: <2025-03-03 Mon 17:04>

edges

[2025-03-03 Mon 17:04] – Deductive language - Wikipedia
[2025-03-03 Mon 17:04] << DQL

1.4. Asynchrony async

properties

ID: 5fd4a7b5-2d71-4373-8c56-f65461e4d633
CREATED: <2025-03-06 Thu 11:09>

edges

[2025-03-06 Thu 11:09] – Asynchrony (computer programming) - Wikipedia
[2025-03-06 Thu 14:00] <- Concurrency
[2025-03-06 Thu 14:02] <- Concurrency
[2025-03-06 Thu 14:03] <- lparallel
[2025-03-06 Thu 14:07] <- sb-thread

1.4.1. Async/Await

properties

ID: e980058d-60f2-482e-96ef-5e7323ccebf7
CREATED: <2025-03-06 Thu 11:01>

edges

[2025-03-06 Thu 11:02] – Multithreading (computer architecture) - Wikipedia

1.4.2. Promise/Future

properties

ID: 4bbc6288-b410-4171-aaca-db1c9bdec7e3
CREATED: <2025-03-06 Thu 11:08>

edges

[2025-03-06 Thu 13:49] – Futures and promises - Wikipedia

1.5. Effectful Programming

properties

ID: 84cee9fa-d517-40e9-a7b9-8d8dd5d84dec
CREATED: <2025-10-26 Sun 20:47>

1.6. Contract Programming

properties

ID: f48341d3-f9ab-44ac-9387-4d32e92aa011
CREATED: <2025-03-06 Thu 13:50>

edges

[2025-03-06 Thu 13:51] – Design by contract - Wikipedia
[2025-03-06 Thu 14:00] <- Contracts

1.7. Macros

properties

ID: aef61327-6c27-466e-b7c1-5663998a0824
CREATED: <2025-10-26 Sun 20:47>