Programming Language Theory

1. PLT   prog plt

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

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

1.1. OOP   obj

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

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

Object-Oriented Programming

1.2. Functional Programming   fun

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

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

1.3. Deductive Programming

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

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

1.4. Asynchrony   async

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

[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

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

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

1.4.2. Promise/Future

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

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

1.5. Contract Programming

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

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