Shunsuke Shibayama (芝山駿介)

Pythonに苦しむ人々のツイート

NumPyの上に積み上げられた資産が多すぎて事実上Pythonにロックインされてるだけで、僕はRust使えるならRust使いたいよ — Odashi (@odashi_t) May 23, 2023 「歴史改

LSPのWeb本を書きました

Language Server Protocol(LSP)に関する知見をまとめた本を書きました。 Zenn Leanpub どちらも無料で読めます。

2023年度未踏IT人材発掘・育成事業に採択されました

表題の通り、未踏に採択されました。竹迫良範PMのもとで「Pythonにトランスパイル可能な静的型付けプログラミング言語の開発」をやっていきます。 「Py

Ubuntuにpyenvを導入する

備忘録。試した環境はWSL2のUbuntu 22.04.1 LTSです。 curl https://pyenv.run | bash # make, gccはインストール済みとする sudo apt install zlib1g-dev libssl-dev 後は.bashrcに以下を追記。 export PATH="$HOME/.pyenv/bin:$PATH" sou

Hello World

Hello, world!

2022年のまとめ

ギリギリですが、本年の所感です。 今年はErgを公開したりTwitterを始めたり、インターネット上で色々動いた年でした。 まあこれに尽きてしまうのですが

2022/12/11

Python静的解析ツールを作っています。まだモジュール周りの対応が出来てないのでリポジトリは公開してませんが。 Ergの型検査器をPythonに使うこ

2022/11/24

この前言っていたWeb IDEがあらかた出来上がりました。 Erg Web IDE 入力補完や型検査も出来ます。更に仮想ファイルシステムも実装しました(実際はLocalSt

2022/11/18

今日はErgのWeb REPLを作っていました。 Erg playground 初回の入力だけもっさりしていますが、これは処理系の初期化のためです。 どういうカラクリかというと、Ru

2022/11/16

Erg 0.5.12をリリースしました。 このリリースでは有志の方によりエラー表示の改善とstream operator(|>)が使えるようになりました。