Skip to content

Add Effekt language support#7916

Open
marvinborner wants to merge 1 commit intogithub-linguist:mainfrom
marvinborner:main
Open

Add Effekt language support#7916
marvinborner wants to merge 1 commit intogithub-linguist:mainfrom
marvinborner:main

Conversation

@marvinborner
Copy link
Copy Markdown

Add Effekt language support with .effekt extension and its literate variant with the .effekt.md extension.

Description

This PR adds support for Effekt as a new programming language in Linguist. Effekt is a research language with lexical effect handlers and lightweight effect polymorphism. Being in active development since over 5 years, by now it amounted to considerable research contributions as well as adoption in projects experimenting with effects and handlers.

I believe that the current interest in the language as well as its adoption is enough to meet Linguist's requirements. Literate Effekt via .effekt.md of course does not match the adoption of .effekt.

Checklist:

Copy link
Copy Markdown
Member

@lildude lildude left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

.effekt isn't quite there for our usage requirements, but doesn't appear to be far off, hence adding the "Pending popularity" label.

.effekt.md is a very very long way off and it's inclusion in this PR will block merging until it meets our requirements. The samples are also too big… if the file is suppressed in the diff, it's too big. I recommend removing "Literate Effekt" for now and submit a PR later when it meets our usage requirements.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants