snearch + declarative   3

Erlang and distributed systems expert, gives his views on BEAM languages, Hindley–Milner… — This is not a Monad tutorial — Medium
I haven’t seen any new languages pop up recently that have grabbed my interest. On technologies, I think that microkernels are very, very interesting. Things like OSv for the JVM based languages, Mirage for OCaml and BSD Rump Kernels for the rest. I think those are going to become the fundamental building block of system orchestration in the very near future. The other thing to keep an eye on is the Nix Package manager, NixOS, and technologies like Atlas from Hashicorp. It’s not going to be too much longer before we declaratively describe out systems as well as our code. I am looking forward to that.
Prognose  Profession  Professional_Software_Development  Trend  Zukunftsmärkte  Microkernel  OSv  JVM  Mirage  OCaml  BSD  BSD_Rump_Kernel  system_orchestration  declarative  NixOS  Nix_Package_Manager  technology  Merritt  Erlang 
august 2015 by snearch
mrb: What Is Declarative Programming?
Van Roy and Haridi have a way with definitions in Concepts, Techniques, and Models of Computer Programming (CTM),
book_recommendation  IT  Van_Roy  Haridi  declarative  programming 
june 2014 by snearch

Copy this bookmark: