Language Server хороший вариант, если мы хотим сделать универсальный вариант для нескольких ide, текстовых редакторов и тд. Но продукты JB как раз отличаются тем, что реализуют всё сами, а не пользуются готовыми LSP. Плюс этого подхода — более гибкий функционал, больше возможностей для интеграции, скорость работы и тд. Для плагинов принят такой же подход. Ну а frege без java не имеет смысла (потому что тогда это просто хаскель), так что интегрироваться только в IDEA - нормально вроде
Language Server хороший вариант, если мы хотим сделать универсальный вариант для нескольких ide, текстовых редакторов и тд. Но продукты JB как раз отличаются тем, что реализуют всё сами, а не пользуются готовыми LSP. Плюс этого подхода — более гибкий функционал, больше возможностей для интеграции, скорость работы и тд. Для плагинов принят такой же подход. Ну а frege без java не имеет смысла (потому что тогда это просто хаскель), так что интегрироваться только в IDEA - нормально вроде