2025-03-13 19:45:14 +01:00
2025-03-13 19:36:31 +01:00
2025-03-13 19:36:47 +01:00
2025-03-13 19:36:31 +01:00
2025-03-13 19:36:31 +01:00
2025-02-03 20:44:46 +01:00
2025-02-03 20:44:46 +01:00
2025-03-13 19:45:14 +01:00

Learning new languages and documenting my journey

Repository which documents my journey in learning new languages.

Currently learning:

Rust Haskell Swift Coq

(and C++, but that is gonna happen in embedded systems, so I won't document it here)

Idea

I will spend about 5 hours a week learning each language. This is NOT a priority, but rather a side project to keep me entertained and to learn new things.

The main idea is to use these new languages to solve relevant problems!

Structure

.
├── language
│   ├── sessions -- if I am doing a course or something
│   │   ├── 13_03 -- date (dd_mm)
│   │   │   ├── notes.md
│   │   │   └── exercises/ -- if I have any
│   |-- algorithmic -- if I am doing algorithmic problems
|   |-- practical -- if I decide to do something practical (usually documentation and a submodule of the main repo)
│   |-- README.md -- main README

Current language goals

Language Idea Category Algorithmics? Practical? Course?
Rust Daily drive Embedded
Swift Daily drive General
Haskell Understand functional programming Theory
Coq Understand formal verification Theory
Description
Learning Haskell, Rust and Swift slowly
Readme 517 KiB
Languages
Swift 100%