Functional Semantics in Imperative Clothing
Functional Semantics in Imperative Clothing There's an old joke about programming with pure functions: “Eventually you have to do some effects. Otherwise you're just heating up the CPU.” I've always wanted the purely functional Roc programming language to be delightful for I/O-heavy use cases. But when I recently sat down to port an I/O-heavy shell script from Bash to Roc, I wasn't happy with how
東京駅の中身ってこうなってたんだ！ 豆知識が詰まった手描きの断片図に「これ凄い！」「見ながら散策したい」の声
※本記事はアフィリエイトプログラムによる収益を得ています 東京駅・丸の内駅舎の断面を描いた手描きイラストが、X（旧Twitter）で「見てて楽しい」「素敵だなあ」と、約3万6000件の“いいね”を集めるほど人気です。 東京駅・丸の内駅舎（出典：PIXTA） 豆知識がいっぱい詰まった手描きイラスト 話題になっているのは、訪れた旅館の建物を断面パースで記録してまわっている吉宮晴紀（@rninopon）さんの作品。東京駅・南ドーム（南口）の駅舎を、地下の構造まで含めた断面図として描いたイラストです。 南ドーム（南口）を北側から見た視点で描かれており、“実はドーム上に空洞がある”という建物上部からホテル部分、駅舎に近い中央線ホーム（電車も断面図）、大規模な免震化工事が行われた地下部まで、利用客が普段目にすることのない細かいところまで描かれています。毎日たくさんの人が歩くエントランスの地下にこんな構
Zed Decoded: Rope & SumTree - Zed Blog
For this second post in Zed Decoded, our blog & video series in which we're taking a closer look at how Zed is built, I've talked to Zed's three co-founders — Nathan, Max, Antonio — about the data structure at the heart of Zed: the rope. Companion Video: Rope & SumTree This post comes with a 1hr companion video, in which Thorsten, Nathan, Antonio, and Max use Zed to look at how Zed uses the Rope a
Haskell - Wikibooks, open books for an open world
Haskell is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. Haskell is a functional programming language. It is distinct in a few ways: Haskell is pure. A fu
Disclaimer | DevTut
# Disclaimer This Tutorial is compiled from StackOverflow Documentation, the content is written by the brilliant people at Stack Overflow. Text content is released under Creative Commons BY-SA, see contribution credits at the end of tutorial. Images may be copyright of their respective owners unless otherwise specified. This is an unofficial tutorial is created for educational purposes and is not
Practical Vim command workflow | Max Shen Dev
In Vim, there’s a variety of commands that let you accomplish tasks in different ways. This can be overwhelming for beginners trying to figure out the most efficient keystrokes for editing. In this tutorial, I’ll share my approach to using Vim commands and offer some real life examples to help you improve your workflow. Guidelines Here are some general rules of my workflow: Avoid using the mouse a
今読んだ古いマンガ お金持ちだが病弱な少女と仲の良いいとこ達の5人組 い..
今読んだ古いマンガ お金持ちだが病弱な少女と仲の良いいとこ達の5人組 いつも仲良く遊んでる良いお友達 けど5人が海辺の洞窟で遊んでる最中に岩が崩れて閉じ込められる 夜には救出されたけど、心臓の弱かった少女は亡くなってしまっていた 少女の母親はいとこ達の誰かが娘を殺したとして、毒入りのお茶で彼らを問いただす… とまあそんな話 これが二転三転しておもしろかった 実は死んだ少女への恨みはそれぞれが抱えており、突発的な事故の状況でそれぞれが少女を不安がらせる行動をしていた 決して計画されたものではなく直接何かしてはいないけれど、そうすることによって少女が苦しむことを知っていて行動した ウソの時刻を伝えることで混乱させ恐怖を煽った者 空気が薄くなっていると煽った者、それに乗っかった者 わずかな浸水をいずれ頭上の高さにくると煽った者 それらの言動に過剰反応し取り乱すことで一層の不安を煽った者 取り乱す
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Arc4random | Is OpenBSD secure?
Arc4random | Lobsters
Functional Semantics in Imperative Clothing | Lobsters
CrowPi L
Bio-digital jazz, man
pcrowDoodle, my "desirable difficulty" laptop | Lobsters
Zed Decoded: Rope & SumTree | Lobsters
Haskell Cheat Sheet
CheatSheet
GitHub - gregwebs/Shelly.hs: Haskell shell scripting
GitHub - Gabriella439/turtle: Shell programming, Haskell style
What is an effect and an effect system?
Practical Vim command workflow | Lobsters
GitHub - nakst/gf: A GDB frontend for Linux.
gf: A GDB frontend for Linux | Lobsters
漬けるだけで絶品すぎる…大根買ったら作ってみて！自家製たくあん漬け - macaroni
大根1本を袋に入れるだけ！干さない「自家製たくあん」レシピ - macaroni