🔥環境構築してみた系の記事を書くときに気を付けていること2022/12/05に公開1件環境構築記事執筆ideaGitHubで編集を提案Discussionゆーちき2022/12/05に更新齊藤さま、 ご意見とご指摘ありがとうございます。 おっしゃる通り、「F* について既に興味を持っているが、インストール手順が複雑なせいでそれ以降興味を失っている人」のみを暗黙のうちに想定してしまっていました。当該分野（依存型言語)は結構マニアックであるため新規に興味を持つ人を増やすのは私の力では難しいと考え、また依存型言語について知っている人ならば F* の名前は知っていると考えてしまったようです。 今までご存じなかった方にFや依存型言語を知っていただける機会が少しでも増えるのは私の願うところですので、ご指摘いただいた通り当該記事の冒頭にF の簡潔な説明と、F* の嬉しさについて書いた紹介記事への導線を追加し、さらに記事タイトルにF* が依存型言語であることを明記しました。 改めて、ご指摘ありがとうございます。 大いに参考になります！ 返信を追加
ゆーちき2022/12/05に更新齊藤さま、 ご意見とご指摘ありがとうございます。 おっしゃる通り、「F* について既に興味を持っているが、インストール手順が複雑なせいでそれ以降興味を失っている人」のみを暗黙のうちに想定してしまっていました。当該分野（依存型言語)は結構マニアックであるため新規に興味を持つ人を増やすのは私の力では難しいと考え、また依存型言語について知っている人ならば F* の名前は知っていると考えてしまったようです。 今までご存じなかった方にFや依存型言語を知っていただける機会が少しでも増えるのは私の願うところですので、ご指摘いただいた通り当該記事の冒頭にF の簡潔な説明と、F* の嬉しさについて書いた紹介記事への導線を追加し、さらに記事タイトルにF* が依存型言語であることを明記しました。 改めて、ご指摘ありがとうございます。 大いに参考になります！ 返信を追加
Discussion
齊藤さま、
ご意見とご指摘ありがとうございます。
おっしゃる通り、「F* について既に興味を持っているが、インストール手順が複雑なせいでそれ以降興味を失っている人」のみを暗黙のうちに想定してしまっていました。当該分野（依存型言語)は結構マニアックであるため新規に興味を持つ人を増やすのは私の力では難しいと考え、また依存型言語について知っている人ならば F* の名前は知っていると考えてしまったようです。
今までご存じなかった方にFや依存型言語を知っていただける機会が少しでも増えるのは私の願うところですので、ご指摘いただいた通り当該記事の冒頭にF の簡潔な説明と、F* の嬉しさについて書いた紹介記事への導線を追加し、さらに記事タイトルにF* が依存型言語であることを明記しました。
改めて、ご指摘ありがとうございます。
大いに参考になります！