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
We know compilers like gcc can do lots smart optimization to make the program run faster. Regarding functions call optimization, gcc can do tail-call elimination to save the cost of allocating a new stack frame, and tail recursion elimination to turn a recursive function to non-recursive iterative one. gcc can even transform some recursive functions…
How to install the GNOME 3 (gnome-shell) desktop environment in Ubuntu MATE 18.04? To install gnome3 to Ubuntu, install these packages sudo apt install gnome-session gdm3 ubuntu-desktop During installation, the installation tools will let you choose the default display manager. You may choose gdm3. Then reboot you Ubuntu Linux and gdm3 will be shown. Click…
I have access to different git servers. I have several keys for these servers. How to use different keys for different git servers? Use the .ssh/config file to specify different configuration for different SSH servers used by git: For example: Host git.example.org Port 22111 IdentityFile ~/.ssh/id_rsa.git.example.org Host code.example.org Port 22 IdentityFile ~/.ssh/id_rsa.code.example.org which specifies the…
I made some changes in my local copy of the svn repository. I have not committed and updated the server yet. Now I want to discard my updates. How to revert my changes in my local copy of the repository? To discard current updates, run this in the root directory of the repository: svn revert…
How to install the latest WordPress on a newly installed Fedora 19? Thanks! First, install the LAMP (you already have ‘L’) stack: # yum install httpd php php-mysql mysql-server php-gd and start these services: # systemctl start mysqld.service httpd.service Then, install WordPress on the LAMP stack following the tutorials on the Web. Two good ones…
I experience the program on Linux (Fedora 12) that Chrome reports “Your profile could not be opened correctly.” as follows. How to fix it? Restarting Chrome would not help. Removing the ‘Web Data’ directories from all profiles works for me (Making backup first as the commands will remove your files): cd ~/.config/google-chrome find ./ -name…