2020-01-14
#Nim
#JavaScript
#Reason
#TIL Objects in Nim use the type constructor:
Type Definition type MusicTrack = object index: int title: string # (Mutable) Value var summer = MusicTrack(index: 1, title: "Summer in the City") That reminds me of Records in Reason:
/* Type definition */ type musicTrack = {index: int, title: string} /* Value */ let summerInTheCity = {index: 1, title: "Summer in the City"} In Nim, “An object is a value type, which means that when an object is assigned to a new variable all its components are copied as well.
2020-01-05
#DevTools
#Lab
#TIL 2019-12-29
#TypeScript
#Reason
#OCaml
#TIL Here's a simple TypeScript function:
function f() { const a = 2 const b = 'a string' return a + b } What I expected:
TypeScript can infer types. It will recognize that a is of type number and b is of type string.
I expected a type error, because I try to add a string to a number.
You can also be more explicit and tell TypeScript the types. Like so:
2019-12-28
#Docker
#DevOps
#TIL 2019-12-27
#TIL
#Python Today I learned about the ASGI specification for Python frameworks:
ASGI (Asynchronous Server Gateway Interface) is a spiritual successor to WSGI, intended to provide a standard interface between async-capable Python web servers, frameworks, and applications.
Python didn't have asynchronous execution until recently. Since Python 3.4 there's asyncio in the standard library. asyncio is singl-threaded, single-process - like JavaScript's event loop.
ASGI is build on top of asyncio.
So, basically, Python now has web servers and frameworks with async capacities.
2019-12-14
#DevTools
#TIL There are several ways to mirror a repository both on GitLab and GitHub.
Repository Mirroring The free GitLab plan allows you to pull from a remote repository.
You could use a GitHub repository as the main repo, and the GitLab repo as the mirror.
In theory, you can also push from GitLab to GitHub. But I couldn't get it working on GitLab's free plan.
Remote Repositories and Overloading The alternative is to “overload” your remote repository address.
2019-12-12
#TIL
#Linux
#DevTools
#Vim Vim has an inbuilt terminal, which you can start with :terminal. That means that you don't have to leave your Vim editor to run commands in the shell.
Sometimes, it's still useful.
If you quickly want to switch to your shell, suspend the Vim editor with Ctrl+z. That sends the process into the background (on Linux).
Now you have access to your standard terminal and can run commands.
Type jobs or jobs -l to see a list of the background processes.
2019-11-25
#Vim
#DevTools
#TIL Today I learned about Vim undo and redo.
Undo changes:
in normal mode: u to undo latest change, U to undo all changes in Ex mode (command mode): :u to undo latest change Use :u {N} to undo a number of changes. For example, :undo 5 reverts the latest 5 changes.
Redo changes:
in normal mode: Ctrl+r in Ex mode: :re or :redo In Vim, undo is a tree:
2019-11-20
#Vim
#DevTools
#TIL Today I learned that you can start Vim with a terminal command.
Vim has the -c flag, which you can use for running an Ex command.
The same is true for NeoVim, which also has an inbuilt terminal.
So you can either start NeoVim inside the terminal like so:
nvim +te or like that:
nvim -c ':terminal' The second option allows you to run another command afterwards. Example:
nvim -c ':terminal hugo server -D' Now NeoVim starts in terminal mode and runs my Hugo development server immediately.