A higher kinded type is a concept that reifies a type constructor as an actual type.
A type constructor can be thought of in these analogies:
- like a function in the type universe
- as a type with a "hole" in it
| <?php | |
| namespace Controllers; | |
| use OAuth\Common\Service\AbstractService; | |
| use OAuth\Common\Storage\Session as OAuthSession; | |
| class AuthController extends ControllerBase { | |
| // everytime we enter the controller, then we check for login, if yes, then we dont have to access here (except logout) |
| -- As superuser you can connect to the target database | |
| \c best-database | |
| -- Drop specific table triggers | |
| alter table foo disable trigger all; | |
| -- After you dirty work don't forget to reenable triggers | |
| alter table foo enable trigger all; |
| defmodule MathOps do | |
| def floor(x) when x < 0 do | |
| t = trunc x | |
| case x-t == 0 do | |
| true -> t | |
| false -> t - 1 | |
| end | |
| end | |
| def floor(x) do |
| '.platform-win32, .platform-linux': | |
| 'alt-f1': 'tree-view:reveal-active-file' | |
| '.platform-linux, .platform-linux .command-palette atom-text-editor': | |
| 'ctrl-shift-a': 'command-palette:toggle' | |
| '.platform-linux': | |
| 'ctrl-shift-n': 'fuzzy-finder:toggle-file-finder' | |
| '.platform-linux atom-text-editor': |
| alias gl="git log --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)<%an>%Creset' --abbrev-commit" |
| # The command finds the most recent tag that is reachable from a commit. | |
| # If the tag points to the commit, then only the tag is shown. | |
| # Otherwise, it suffixes the tag name with the number of additional commits on top of the tagged object | |
| # and the abbreviated object name of the most recent commit. | |
| git describe | |
| # With --abbrev set to 0, the command can be used to find the closest tagname without any suffix: | |
| git describe --abbrev=0 | |
| # other examples |
Currently, there is an explosion of tools that aim to manage secrets for automated, cloud native infrastructure management. Daniel Somerfield did some work classifying the various approaches, but (as far as I know) no one has made a recent effort to summarize the various tools.
This is an attempt to give a quick overview of what can be found out there. The list is alphabetical. There will be tools that are missing, and some of the facts might be wrong--I welcome your corrections. For the purpose, I can be reached via @maxvt on Twitter, or just leave me a comment here.
There is a companion feature matrix of various tools. Comments are welcome in the same manner.
| # Elixir has lazily evaluated enumerable objects that allow you | |
| # to work with enumerable objects like lists either only as needed | |
| # or infinitely. | |
| # Start up iex to play around | |
| $ iex | |
| # Typical enumeration is done eagerly where the result is computed ASAP | |
| iex> Enum.map(1..10, fn i -> i * 2 end) | |
| [2, 4, 6, 8, 10, 12, 14, 16, 18, 20] |