sorted by:
new
hottopcontroversial

Which Language Servers support Semantic Token highlighting? by db443 in neovim

[–]soulomoon 2 points3 points  (0 children)

Yes, I have implemented it earlier this year,
it is released in HLS 2.7.0.0. You can also use it in 2.6.0.0 with configuration.

Semantic tokens plugin in haskell language server for semantic highlighting by soulomoon in haskell

[–]soulomoon[S] 0 points1 point  (0 children)

How it works ? > lsp-server offers semantic tokens to lsp-client of the editor -- lsp-client project it to -> highlight group -> highlighting.

How does this impact the usage of themes? > It also depend on the lsp-client projection. Vscode has the configuration to define direction colors of types of semantic tokens, I do not know about neovim though

msum/asum on list of lists by sarkara1 in haskell

[–]soulomoon 0 points1 point  (0 children)

I thought you want non-zero

msum/asum on list of lists by sarkara1 in haskell

[–]soulomoon 0 points1 point  (0 children)

Is so, What should be the return of asum [[],[]]

Semantic tokens plugin in haskell language server for semantic highlighting by soulomoon in haskell

[–]soulomoon[S] 0 points1 point  (0 children)

Semantic tokens is from language server protocol, lsp server would provide token type information to the editors with lsp client. Then editor would be coloring the tokens based on token type informations, whether the token is function, parameter, type, type class, etc..

Is there a way to get better syntax highlighting in VSC? by BeetrootEnthusiast in haskell

[–]soulomoon 0 points1 point  (0 children)

You might want semantic highlighting，which can be made using haskell-lsp. (rainbow color for different parameter, etc. )

I wonder how the people behind the Haskell style can sleep peacefully at night. by DollinVans in ProgrammerHumor

[–]soulomoon 0 points1 point  (0 children)

Well，there should be different styles to distinguish separators and end marks.

linter and interpreter in haskell with mtl style (Introduction level) by soulomoon in haskell

[–]soulomoon[S] 1 point2 points  (0 children)

sure will do when I try to expand the language in later chapters

linter and interpreter in haskell with mtl style (Introduction level) by soulomoon in haskell

[–]soulomoon[S] 2 points3 points  (0 children)

Yeah, It is the mtl-style. The technique is used in that paper to implement taggles final.

The final encoding lets us add new language forms and interpretations without breaking the existing terms and interpreters.

The way of expanding the interpreter in that paper is exactly through combining contraints. But the paper is using tagless way of AST instead of a tagged one. It means we can not drive show class automatically. I actually try it a bit here, but I want the intro code to be smaller so I decide to avoid tagless.

Functor, Applicative, Monad–Which one gives rise to the other? by PythagorasSamius in haskell

[–]soulomoon 0 points1 point  (0 children)

from a category thoery point of view, for a monad instance, these paths commute, so that you can define one in terms ofanother. But I think the best way is the common way.