2025-03-21 17:27:10 +01:00
2025-03-13 19:36:31 +01:00
2025-03-21 17:19:10 +01:00
2025-03-21 17:13:33 +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-21 17:27:10 +01:00

Learning new languages and documenting my journey

Repository which documents my journey in learning new languages.

Currently learning:

Rust Haskell Swift Coq Futhark

(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 General
Swift Daily drive General
Haskell Understand functional programming Theory
Coq Understand formal verification Theory 🤷
Futhark Understand data parallelism Theory/Fun
Description
Learning Haskell, Rust and Swift slowly
Readme 4 MiB
Languages
Haskell 60%
Swift 27.1%
Java 12.9%