2020/5/31追記:
自分用のメモに書いていたつもりだったのですが、たくさんのスターを頂けてとても嬉しいです。
と同時に、書きかけで中途半端な状態のドキュメントをご覧いただくことになっており、大変心苦しく思っています。
このドキュメントを完成させるために、今後以下のような更新を予定しています。
2021/1/22追記:
TypeScript and Playground練習問題集更新情報
WIP
| From: James Porter james@j-tech.dev | |
| My name is James from J-Tech.dev. I am a specialist recruiter for software engineering. I speak Japanese and English and can write a little bit of code. Our goal is to tell you about the newest tech companies in Tokyo. | |
| Global Fintech Company - Fastest Growing Engineering Team in Japan | |
| Global team spread across North America and Asia | |
| Office is located inside of a WeWork office | |
| Very competitive salaries | |
| Startup atmosphere | |
| Modern tech stack |
| 日付: 2017年10月25日 17:08 | |
| 件名: Steve Maddenでございます。 | |
| ミヤモト様 | |
| お世話になっております。 | |
| IT業界に特化したヘッドハンター、Steve Maddenと申します。 | |
| 度々のご連絡、大変失礼いたします。 | |
| -- This is a sample custom writer for pandoc. | |
| -- hatena | |
| -- Character escaping | |
| local function escape(s, in_attribute) | |
| return s:gsub("[<>&\"']", | |
| function(x) | |
| if x == '<' then | |
| return '<' | |
| elseif x == '>' then |
| object jto { | |
| type _1 = Succ[_0] | |
| type _2 = Succ[_1] | |
| type _3 = Succ[_2] | |
| type _4 = Succ[_3] | |
| type _5 = Succ[_4] | |
| // Natural numbers (extracted from shapeless) |
| 作: | @voluntas |
|---|---|
| バージョン: | 1.0.1 |
| URL: | https://voluntas.github.io/ |
2015 年 1 月 12 日に行われた 「テレビ連動サーバー」勉強会 向けの発表資料です。
| events { | |
| worker_connections 1024; | |
| } | |
| http { | |
| default_type text/html; | |
| access_log /dev/stdout; | |
| sendfile on; | |
| keepalive_timeout 65; |
We've already looked at two different indexed monads in our tour so far, so let's go for a third whose regular counterpart isn't as well known: the privilege monad.
The regular privilege monad allows you to express constraints on which operations a given component is allowed to perform. This lets the developers of seperate interacting components be statically assured that other components can't access their private state, and it gives you a compile-time guarantee that any code that doesn't have appropriate permissions cannot do things that would require those permissions. Unfortunately, you cannot easily, and sometimes cannot at all, build code in the privilege monad that gains or loses permissions as the code runs; in other words, you cannot (in general) raise or lower your own privilege level, not even when it really should be a
