Prustiを使ってRustでプログラム検証をしよう
導入に際し、ドキュメントに書いてないこととか色々あってつらかったため、軽くメモ代わりに投稿しておきます。 また、Prusti を使う最も簡単な方法は VSCode の拡張である Prusti-Assistant を使うことですが、Vimの使用を見越しコマンドだけで使えるようにアレコレ設定しました。 Prusti の紹介 プログラミングにおいて、関数に対してプログラマが明示的に制約を課すことはよくあります。 例えば、次のような単純な関数 max を考えます。 fn max(x: i32, y: i32) -> i32 { let result = if x > y { x } else { y }; result } さて、この関数は次のような性質を持つことが期待されます。 resultはx以上かつy以上 resultはxまたはy そういった情報は多くの場合ライブラリのドキュメントなどに書い
Bash: わかるとほんのちょっとうれしくなること５選 - Qiita
Bash の勉強を始めた頃、頭がごちゃごちゃになって調べたこと、わかるとほんのちょっとうれしくなったことを５個ピックアップしてみました。 - 目次 - alias sudo='sudo ' と alias sudo='sudo -E ' bash -c /dev/null grep -rl xargs で任意の位置に引数を展開する - 説明 - 1. alias sudo='sudo ' alias コマンドを使うと、長いコマンドを別名で登録できて、とても便利です。 でもそのまま sudo と組み合わせると、エラーになります。 例えば、la という登録名で、ls -a を実行させると、 sudo la でエラーになります。 bash のマニュアルには、以下のように書かれています。 alias [-p] [name[=value] ...] value の末尾に空白があると、エイリアスが展開
Vimのgfについて~パス移動の救世主~
Software Design7月号でVimが特集されました。その中でgfという機能が紹介されていました。 筆者は3年ほどVimを触っていますが知らなかったので調べてみました。 gfとは？ まずはVimのヘルプにはどう書いてあるかを確認してみます。 gf E446 E447 [count]gf カーソルの下か後ろの名前のファイルを編集する。 vim-helpより引用 実際の動作は以下のようになります。 a.txt内のテキスト./b.txtをVimが解析し、b.txtにジャンプしました。 gfと似た機能 gfに似た機能として gF <C-w>f があります。 gF gF [count]gF "gf" と同じだが、ファイル名の後に番号があるとき、その行へカーソルが移動する点が異なる。 vim-helpより引用
VSCode上のVim操作を快適にする拡張 VSpaceCode の紹介
VSpaceCodeは，Spacemacsのようなkey bindingをVSCode上で実現するための拡張です．本記事では，VSpaceCodeについて簡単に紹介します． VSpaceCodeとは VSpaceCodeは，冒頭に述べたとおりSpacemacsのようなkey bindingをVSCode上で実現する拡張です．Spacemacsのようなkey bindingとは，デフォルトのleaderであるspaceキー␣を起点とした操作のことです．以下が例になります． VimでNormalモードの時にleader（␣）を押すと，コマンドパレットが表示される 続く候補の操作のためのキーを押す 操作を実行 公式のデモが分かりやすいです 例えば␣ w / は，windowを分割する操作（コマンド）になります． VSpaceCodeを使う大きな利点は，画面上側に入力に応じてコマンド候補が表示され
Vimを支える技術: Alacritty, AquaSKK, tmux, Language Server… 高速ウェブ開発の世界
はじめに これは、ストックマーク Advent Calendar 2021 17日目の記事です。こんにちは、ストックマークでAstrategyというビジネス向けSaaSについて、主にフロントエンドの開発を担当している@tsukkeeです。 Astrategyの技術構成については以前にAstrategyを支える技術: gRPC, Elasticsearch, Cloud TPU, Fargate... SaaS型AIサービスの内側の世界という弊社テックブログ記事で紹介したことがあるのですが、本記事ではその開発環境の一部を紹介したいと思います。 さて、開発環境と言えばテキストエディタですが、皆さん開発にはどのテキストエディタ(またはIDE)を使っていますでしょうか？本記事のタイトルにもあるとおり私はVimを使っています。ただ、Astrategyの開発チームでは使うテキストエディタに制限はなく、
Neovimでのフロントエンド開発環境 2021
最近はフロントエンドエンジニア(主にReact)をしているYano (@yuki_ycino) といいます。 この記事では自分が開発に使っているNeovim周りの環境と、その大まかな構成について書いていきます。 追記 後日、自分がNeovimでフロントエンド開発を行っている理由とVSCode という記事を書きました。 合わせて読んでいただけると幸いです。 はじめに 自分は現在フロントエンド開発のほぼ全てをNeovimで行っています。 個人的にはVSCodeと遜色なく(むしろ効率よく)開発できていると思うのですが、VSCodeではシンプルな設定で開発を始められるのに対し、Vimはどうしても設定のハードルが高いです。 具体的には現在5000行弱のVimの設定ファイルと100個前後のプラグインを導入して開発しています。 ただ、それを他の方に勧めるのは無茶なので、この記事ではほぼ最小構成に近いTy
VimとTUIツールをなめらかに切り替える
VimからTUIツールを呼び出す 私はVim以外のTUI(Terminal User Interface)ツールとしてファイラにRanger、Git操作にはTigを利用しています。 TUIはそれ自体の制約によりキーボード操作のみで完結することや、開発時の基本的なワークフローがターミナル内に閉じることによる環境のポータビリティにメリットがあります。 VimからはTUIツールの呼び出しは外部コマンド呼び出しの:!{cmd}やVimの組込みターミナル:terminal {cmd}でTUIツールを呼び出せます。 逆にTUIツールからエディタを呼び出すケースもあります。 たとえばファイラのRangerで選択したファイルを開く場合、環境変数$EDITORに登録されているエディタ(Vim)を使って開きます。 TigはGit操作でdiff表示しているときにeを押したときのカーソルのある行でエディタを使って
コンテナで動くGoアプリをデバッグする方法
初めに 最近開発環境を整備していて、コンテナでGoアプリケーションをリモートでデバッグするのにちょっと面倒だったので、自分のメモも兼ねてやり方を残しておきます。 要件 プロジェクトによりますが、今の現場では主要エディタがVSCodeです。 もちろんVimユーザー（うち一人はぼく）がいるので、ターミナルでもデバッグできるように対応する必要があります。 また、コード変更を反映させるために都度イメージをビルドしてコンテナを再作成するは開発スピードが落ちるため、コンテナ再起動だけで反映されるようにする必要があります。 デバッガのしくみ Goにはdelveというデバッガがあります。 delveはClient-Serverモデルになっていて、次の2つのプロトコルで通信が可能になります。 JSON-RPC DAP JSON-RPCはdelveのCLIに使われています。 DAPはMicrosoftが策定し
世界のプログラミング言語(37) 達人に愛され30年周年Vimを支えたVimScript
そして、コマンドモードとは、ノーマルモードで「:」キーを押した状態です。コマンドモードでは、さまざまなコマンドを実行できます。ファイルの保存「w」やエディタの終了も「q」を行うにもコマンドモードで行います。なお、コマンドモードでは、VimScriptを実行できます。例えば、Vimを起動した状態(ノーマルモード)で、「:」を押してコマンドモードにしたら、以下のコマンドを実行してみましょう。 echo "Hello, World!" するとVimの最下行に「Hello, World!」と表示されます。 VimのコマンドモードでHello, World!を実行したところ なお、簡単な計算をしたい場合も、同じようにコマンドモードで以下のように記述できます。以下のコマンドを実行すると、610が表示されます。 echo 10 + 20 * 30 VimScriptで計算してみたところ そして、Vimで
AIとペアプロする「GitHub Copilot」がneovimとIntelliJ IDEAでも利用可能に、テクニカルプレビューとして
AIとペアプロする「GitHub Copilot」がneovimとIntelliJ IDEAでも利用可能に、テクニカルプレビューとして GitHubは10月27日と28日の2日間（太平洋時間）、オンラインイベント「GitHub Universe 2021」を開催」し、現在テクニカルプレビュー中のGitHub CopilotがnervimとIntelliJ IDEAでも利用可能になったことを発表しました。 GitHub Copilot Technical Preview is available now for developers on the @jetbrains IntelliJ platform of editors including @intellijidea and @pycharm https://t.co/1FZjsv4NoJ pic.twitter.com/z4AV9TY
無人島に持っていく(Neo)vimプラグイン10選 (TS開発環境編)
概要 自分は普段Neovimを使って(主にTypeScriptでの)開発を行っています。 NeovimでのTypeScript開発は環境を整えればVSCodeと遜色ない開発体験を得ることができると思っています。 また、Vimの操作に慣れれば一部の編集機能についてはVimの方が優れていると感じています。 この記事では自分の開発に欠かせないプラグイン10個を紹介しようと思います。 プラグイン10選 VimをIDE化するプラグイン coc.nvim 様々な操作の起点に使うFuzzy Finder fzf-preview.vim 高機能なファイラ fern.vim Vim上でGitを操作する gina.vim テキストを囲う操作を可能にする vim-sandwich 文字の入力を自動で展開する lexima.vim Snippetプラグイン UltiSnips 一括置換を行う vim-qfrepl
Neovim News #11 - The Christmas Issue - Neovim
The real 0.5 was the friends we made along the way The long-awaited release of Neovim v0.5.0 finally happened on July 2, 2021. It took longer than everybody had hoped for, but it was worth the wait: With over 4000 commits, it is so big that it broke some of the release tooling. So these notes will not be able to touch on each of the many changes that were made over the course of development and on
エンジニアの楽園 vim-jp
インターネットが大好きな人の多くは、どこかしらのコミュニティを拠点として活動を続けることが多いです。 僕は2003年からのネットユーザーなのでそこまで古くはないのですが、かつて、はてなダイアリー、IRCなどを拠点として、ネットで活動してきました。現在であれば、Twitter、Qiita、Zennなどを主軸として活動している人が多い印象です。 そんな中、最近僕が最も居心地よく滞在しているコミュニティがvim-jpのSlackです。 なぜvim-jpなのか # 僕を知っている人であれば、「お前はEmacsユーザーだろう？まさかVimに乗りかえたのか？」というツッコミたくなるかもしれませんが、それにはおよびません。なぜなら、いまもEmacsユーザーであることに違いないからです。 では、なぜvim-jpに入っているのか？それは次の理由があるからです。 幅広い分野の話題が可能 # vim-jpは、い
tmux/screen上でのnvimのescapeレスポンスを早くする - 水島雄太のブログ
概要 tmux/screen 上で nvim を使用した際に、 escape/Ctrl-[ 入力に対するレスポンスが遅いため、これを解決する方法について記述します。 tmux/screen 上で nvim のescapeレスポンスを早くする $HOME/.tmux.conf 上で 以下の設定を追記する set -s escape-time 10 screen の場合は、以下の設定を $HOME/.screenrc に追記します。 maptimeout 10 vimなどで、 escape-time を 0 にしている例をよくみかけますが、nvimの場合0だとうまくいかず、 10程度のdelayを必要とします。 なぜこのような挙動になるのか tmuxではEscape入力があった際に、500msec のディレイの後にバックグラウンドのターミナルにコマンドを送信している。 上記の設定ではこのディレ
GitHub - jeffreytse/zsh-vi-mode: 💻 A better and friendly vi(vim) mode plugin for ZSH.
Maybe you have experienced the default Vi mode in Zsh, after turning on the default Vi mode, you gradually found that it had many problems, some features were not perfect or non-existent, and some behaviors even were different from the native Vi(Vim) mode. Although the default Vi mode was a bit embarrassing and unpleasant, you kept on using it and gradually lost your interest on it after using for
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「Vim」がスクリプト言語を一新 ～約6年ぶりのメジャーバージョンアップv9.0が公開／レガシースクリプトをため込んでる人も安心、引き続きサポートされる
最近linuxを触るようになったのですが、なぜvimはこんなに使いづらいのですか？
GitHub - lapce/lapce: Lightning-fast and Powerful Code Editor written in Rust
Codespaces is GitHub's New Development Platform, Now Supporting Emacs and Vim
markmap