副作用を陽に区別させる言語ってHaskell以外にあるんか？
@osa_k https://en.wikipedia.org/wiki/List_of_programming_languages_by_type#Pure
@omasanori 結構ある……Cleanは名前は割と聞きますね（AgdaとかCoqとかお前そもそも副作用書けなくない？みたいなのもありますが）
アカウントがあればユーザーやハッシュタグをフォローしたり、投稿のお気に入り登録やブースト、投稿への返信ができます。別のサーバーのユーザーとの交流も可能です。
