Syntactical difference among OCaml, Scala, F# and Haskell
What’s the syntactical difference among OCaml, Scala, F# and Haskell.
This page gives a side-by-side reference among OCaml, F#, Scala and Haskell:
What’s the syntactical difference among OCaml, Scala, F# and Haskell.
This page gives a side-by-side reference among OCaml, F#, Scala and Haskell:
ML Dialects and Friends: OCaml, F#, Scala, Haskell
In many text processing tasks, we often need to check if a given string starts with a specific substring. In this article, we will demonstrate how to achieve this using the std::string::compare() function from the C++ Standard Library. The compare() function has several overloads, but the one of interest for our purpose is: int compare(size_type…
How to change the fonts of gnome-shell for gnome3? Like the system bar. The fonts of gnome-shell is described in its own theme. For the default gnome-shell, you need to edit the file as root: /usr/share/gnome-shell/theme/gnome-shell.css Right, it is a css file. Find the font-family keyword and change the corresponding fonts. Then you can restart…
In the screen, copying the history of the window output is quite hard. How to save the screen easily to a file? First type Ctrl + A then : to get to command mode. In the command mode, execute hardcopy -h /path/to/file screen will save the window output to /path/to/file. Read more: How to run…
How to rename a branch name in the remote git server? For example, I made a mistake to push a branch named ood-name to the git server while I intended to name it old-name. How to rename the branch name ood-name on the remote git server? You may change the remote git server’s branch name…
How to balance the two columns of text on the last page of a Latex doc? 2 good Latex packages are good at balancing the two columns of text on the last page of a Latex doc (choose either one that are good for you). balance Usage: At the beginning of the doc: usepackage{balance} At…
In Perl, how to print a string as a line to STDOUT? That is, the string and the newline character, nicely? And similarly, how to print the line to STDERR? In Perl, to nicely print a new line to STDOUT, you can use the “say” feature which “Just like print, but implicitly appends a newline”:…