Lambdaカクテル

京都在住Webエンジニアの日記です

Invite link for Scalaわいわいランド

2020-01-01から1ヶ月間の記事一覧

TypeScriptのネストしたオブジェクトの内側の型を書き換える

あるオブジェクトのこのフィールドを書き換えたいことあるでしょ。 type A: { x: X // => Yにしたい!!! } まあこういうときはA2 extends Aみたいなのを宣言するか,まあいろいろやりようはあると思うんですが,これがネストしてたりするわけですよ。5重とか…

ジム行った / 自分が主人公というウソを信じられるか

久々にジムに行った。7km/hで30分走って帰ってきた。3.5km走ったことになる。途中でくたびれてきたが、なんとか走ることができたので良かった。 運動不足気味の人間が(7km/hとはいえ)30分も走り続けるには、忍耐しなければならない。忍耐は、自分が最も苦手…

Typescriptのオブジェクトから特定の型に適合するプロパティだけ抜き出した型をコンパイルタイミングで作る

オブジェクトからstring型のプロパティだけ取り出したいってことありませんか。僕はあります。何言ってんだという感じですがこういう感じです。 type EnumString = "foo" | "bar" | "piyo"; interface Mixed { a: string, b: number, c: object, d: EnumStri…

JSON Schema 継承 プロパティ 上書き 方法

ない It is important to note that the schemas listed in an allOf, anyOf or oneOf array know nothing of one another. While it might be surprising, allOf can not be used to “extend” a schema to add more details to it in the sense of object-o…

JSON Schemaメモ: subtypeのoneOfについて

JSON Schemaには,oneOfという便利な構文が用意されている。これは,与えられたスキーマのうちどれか1つだけがvalidなときvalidとする構文だ。 さて,そのoneOfの挙動で困ったのでメモする。具体的には,オブジェクト型Aと,別のオブジェクト型B,そしてAとB…

JSON Schemaメモ: additionalProperties: falseのobject同士は,allOfで合体できない

このスキーマ中の#abは無効になる。https://www.jsonschemavalidator.net/で検証してみるとよい。 { "definitions": { "a": { "$id": "#a", "additionalProperties": false, "type": "object", "required": ["a"], "properties": { "a": { "type": "number" …

TypeScriptのUnion / Intersection Typesで遊んだ

(筆者は型入門者ですので,いい加減な事を書いていたらご指摘ください) ★追記: intersection typeとunion typeが逆だったので直した。 ★追記2: susisuくんにいいこと教えてもらったので追記した。 Intersection Types TypeScriptの型,とくにIntersection Ty…

日記 / 未来探し

今年何が欲しいかな~ということを考えていたら、未来が欲しいねということになった。未来のワクワクを最後に感じたのはいつだろう?ちょっと考えてみてほしい。 人は未来に対する希望で生きているようなところがある。ルターもそう言っている。 この世を動…

10年続いた不眠を乗り越えてわかったこと

序文 中学生のころから、かれこれ不眠に10年近く悩まされてきた。夜眠れないし、朝起きられなかった。言葉にしてみれば20文字にも満たない、ただそれだけのことが、いくばく人生に打撃を与え、心を打ち砕こうとしたことだろう。 いつしか、それがどん底にぶ…

awsvpcとdocker-composeメモ

awsvpcまわりのECSのネットワークの挙動がdocker-composeと違っていて困って調べたので今後のためにメモしておきます。 docker-compose service単位でbridgeが作成される bridgeはL2レイヤ bridgeがたくさん生えるが,docker for macではVMの中にbridgeが生…

VLANのお勉強した

うちは家にIPv6が降ってくる家なので、EdgeRouter X のDS-Lite機能を使ってv4通信をトンネリングさせている。 しかしうちに降ってくるアドレスはプレフィックスが/64なのでこれ以上ネットワークを分割できない。どういうことかというと、EdgeRouterがv6のル…

シェルスクリプトで環境変数の中身を壊すことなくファイルに保存する

★追記があります。 クラウド時代なので,JSONを環境変数に入れて渡したいということがあると思います。そしてそれをファイルに保存したいということがあると思います。 こういうJSONがあるとします。 $ FOO='{"foo":"b\na\nr"}' アプリケーションの都合でFOO…

『生まれてきたことが苦しいあなたに』読了

id:pndykにお勧めしてもらった一冊。タイトルがタイトルだが啓蒙本でもスピ本でもなく、シオランというルーマニア生まれでパリで頭角を現した哲学者、思想家、作家の解説本にあたる哲学書である。もう今時希死念慮は息を潜めているが、この書籍で解説されて…

何かにイライラしているように見えるが、実は考えることが多いということについてイライラしている

記事とは無関係な鉄火巻 初詣のときに立ち寄った店でいただきました おいしかったです いつからか自分はけっこうイライラを溜め込みやすい性格になった(元からそうだったのかもしれない)ので、それから逃げるためにゲームをやりまくったり、食べまくったり、…

電子レンジの加熱時間をワット数をまたいで計算するツールをReactで書いた

www.3qe.us 完全に自分用ツールです。家の電子レンジが600Wなのですが、コンビニでお弁当を買って温めようとすると500W分の時間しか書かれてないわけです。このまま500W向けの時間で加熱するとアツアツになりすぎてしまいます。何度も口の中をやけどしながら…

日記/受験の傷跡/何も持たず寝る

人生設計上失敗だと思っているのは、うまく勉強ができなかったから大学受験に失敗したことを、周りとの関係を切り捨てて一匹狼になろうとすることで覆い隠そうとしたことだったかなと。それで結果的に周りとの関係に溝を自ら作ってどんどん殻に閉じこもって…

Common LispでGPSを実装した + packageとpackage-inferred-systemまわりハマりどころ

初コーディングはCommon Lispでした。 さて、GPSというものがあります。地球を測位するやつではなく、General Problem Solverです。Generalという夢のような名前が付いていますが、このGPSは任意の形式化された記号問題を解くことができるらしいので遊んでみ…

暮らしに終わりをつけていく必要性について

謹賀新年。あけましておめでとうございます。今年も良い年でありますように。 さて、新年になると気持ちが晴れやかになって新たな行動へのやる気が出てくる。普通の月が変わる瞬間ではこうはならない。じゃあ正月の何がそうさせるのだろうと考えたところ、自…

★記事をRTしてもらえると喜びます
Webアプリケーション開発関連の記事を投稿しています.読者になってみませんか?