diary
あんまりまとまっていない文章たち
Ruby3の静的型解析をVSCodeでみる
2023-02-19
#ruby
小ネタ
個人的にぱっと書く用に、静的型解析のできるスクリプト言語を探していたのですが、意外と選択肢がない。
- Ruby3 + Typeprof
- Python3 + Type Hints
- TypeScript (Deno)
Typeprofがいつの間にかLanguage Serverにも対応しており、
個人的に思い入れのあるRubyで静的解析出来たら理想だったので、どのくらいできるか調査しました。
GithubAction使った感想だけ
2020-12-06
#日記
#tech_other
GitHubActionを使って、Twitterにサイトの更新を自動で通知するように、Rubyでスクリプトを書いてみた。
火曜日、久しぶりの科博を振り返る。
2020-11-24
#日記
火曜日、仕事
連休が終わってしまった。さよなら仕事のない日々。
今日は休日中に行った国立科学博物館について書こうと思う。
木曜日、AppleSilliconについて考える。
2020-11-19
#日記
木曜日、仕事
お仕事は手戻りがあって忙しかった。もう残業したくないなあ。
水曜日、今後やりたいことを整理する。
2020-11-11
#日記
#tech-other
水曜日、仕事
忙しくなかったので、サイトの修正案や、やりたいことを考えていた。
月曜日、冬用シュラフを探した
2020-11-09
#日記
月曜日、仕事
仕事はそこまで忙しくないが、定時直前に変なエラーにつかまり、結局1時間残業した。
ビルドを待っている時間に、キャンプ場など調べる悪い社会人になっていた。
技術系のポストについての方針
2020-11-06
#tech-other
個人サイトを立ち上げるにあたって、技術系のポストと日記や趣味の話を分けたい、という謎の欲求がありました。
初投稿
2020-11-05
#日記
hello, worldwideweb.
zolaという静的サイトジェネレータをつかって、サイトを立ち上げてみた。
TEST POST
2020-11-04
#other
この記事はテスト投稿です。