Constantin Tews CaptnCodr
🥑
cartermp
/ fsharp-five-preview.ipynb
Last active
March 3, 2021 18:55
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
alexbartsch
/ docker-remove-all.sh
Last active
April 26, 2017 11:12
Remove all docker images and containers
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Remove all docker images and containers | |
| docker stop $(docker ps -a -q) && docker rm $(docker ps -a -q) && docker rmi $(docker images -q) | |
| docker build -t friendlyname . # Create image using this directory's Dockerfile | |
| docker run -p 4000:80 friendlyname # Run "friendlyname" mapping port 4000 to 80 | |
| docker run -d -p 4000:80 friendlyname # Same thing, but in detached mode | |
| docker ps # See a list of all running containers | |
| docker stop <hash> # Gracefully stop the specified container | |
| docker ps -a # See a list of all containers, even the ones not running | |
| docker kill <hash> # Force shutdown of the specified container |
Full source: https://gist.github.com/mrange/aa9e0898492b6d384dd839bc4a2f96a1
Option<_> is great for ROP (Railway Oriented Programming) but we get no info on what went wrong (the failure value is None which carries no info).
With the introduction F# 4.1 we got Result<_, _> a "smarter" Option<_> as it allows us to pass a failure value.
However, when one inspects the signature of Result.bind one sees a potential issue for ROP:
rxaviers
/ gist:7360908
Last active
July 22, 2024 02:41
Complete list of github markdown emoji markup
People
 :bowtie: |
😄 :smile: |
😆 :laughing: |
|---|---|---|
😊 :blush: |
😃 :smiley: |
:relaxed: |
😏 :smirk: |
😍 :heart_eyes: |
😘 :kissing_heart: |
😚 :kissing_closed_eyes: |
😳 :flushed: |
😌 :relieved: |
😆 :satisfied: |
😁 :grin: |
😉 :wink: |
😜 :stuck_out_tongue_winking_eye: |
😝 :stuck_out_tongue_closed_eyes: |
😀 :grinning: |
😗 :kissing: |
😙 :kissing_smiling_eyes: |
😛 :stuck_out_tongue: |