search

effekt-lang / effekt-website

Website of the Effekt programming language
https://effekt-lang.github.io/effekt-website
MIT License
4 stars 6 forks source link

Start porting examples to new stdlib #55

Closed b-studios closed 4 months ago

b-studios commented 5 months ago

This is a first attempt to port examples of the website to the new stdlib.

However, we really need to address #54 which is really annoying for users, since the error messages are really bad.

Also, we really need to go through the explanations again and update them with our new understanding of the underlying concepts. The introduction is now many years old and deserves a proper update.

I am very happy if somebody could help with this.

b-studios commented 5 months ago

The documentation also still mentions Console. I think we should change the text to use different motivating examples.

b-studios commented 4 months ago

I tried to quickly address a few things. The case studies still won't run, but that shouldn't be a blocker for this PR. We need to address this separately. The main point here is that we can continue updating the effect compiler for the website.

b-studios commented 4 months ago

Things to do in the future