flix / flix.dev Goto Github PK

• Rename fashion-driven to "Timeless"
• Move up "no blessed library".
• Rename "No dead or unreachable code" to "No unused declarations"
• Monotonic declarations.
• Layered programming language (functions, parametric polymorphism, type classes)
• Type class principles.

• Hover
• Autocomplete
• etc.

Contains the sentence "We have already had several positive experiences with mentorship and open source contributors." twice. I assume it's not intentional.

E.g.: Use it for this! "Arewewebyet" or whatever.

... two blocks right after higher-kinded types.

See flix/flix#6399

Many users do not realize that the dropdown on the right of the landing page is a dropdown. We need to style it better.

• Including GitHub workflow

Samples that need to be updated:

• Polymorphic Record Update
• Polymorphic Record Extension and Restriction
• Opaque Types
• Type Aliases
• Select with Defaults and Timers
• Polymorphic First-Class Constraints
• An Interpreter for a Trivial Expression Language
• A Simple Card Game Simlulation (simulation spelled wrong???)
• Deriving Type Classes

For tracking issues needed to be resolved before an updated website can be released

• #54
• #56
• #53
• #52
• #57
• #63

Update the get started gif:

• Show java version in terminal.
• Show more features of the plugin?
• Show click run main

I noticed some design errors when working with the website which should probably be fixed at some point

• White space to the right of the text on some pages (About , Innovations and all the blog posts).
• Navigation bar does not space elements out for full screen (leaves empty space to the right).
• At a specific window width the Get Started navigation button is forced to add a line break.
• On smaller screens the Fork me on Github overlaps with the navigation bar.

Int to Int32

Try to describe where the syntax comes from and that it has been well-established.

I'd like to be able to create a link to the principle page that jumps directly to a particular principle.

These are the most visited pages:

Here, because of a bug in the analytics, /basics refers to doc.flix.dev/basics/.

What worries me about this distribution is that it does not really reflect how much effort has been put into each page.

For example, the basics page is incomplete. This is really bad!

Moreover, the basics page is one of the most uninteresting pages.

A few items are now outdated.

Like many others, I prefer to use an editor of my choosing and run the program in the terminal. It was pretty hard to get to this simple info.

Suggestion:

As a final subheader, add "Run manually" to https://flix.dev/get-started/

1. Download the compiler from the latest releases (https://github.com/flix/flix/releases/latest)
2. Run:

$ java -jar path/to/flix.jar init

This will create a project structure with src/Main.flix as the entry point
3.

$ java -jar path/to/flix.jar run

Or add a link to https://doc.flix.dev/build-and-packages/

Title

Some of the new examples are not on the website yet.

All current examples:

• algebraic-data-types-and-pattern-matching.flix
• an-interpreter-for-a-trivial-expression-language.flix
• compiler-puzzle.flix
• deriving-type-classes.flix
• effect-polymorphic-functions.flix
• enums-and-parametric-polymorphism.flix
• (pending) file-information.flix
• first-class-constraints-and-fixpoints.flix
• function-composition-pipelines-and-currying.flix
• higher-order-functions.flix
• internal-mutability-with-regions.flix
• lists-and-list-processing.flix
• mutual-recursion-with-full-tail-call-elimination.flix
• opaque-types.flix
• pipelines-of-fixpoint-computations.flix
• polymorphic-first-class-constraints.flix
• polymorphic-record-extension-and-restriction.flix
• polymorphic-record-update.flix
• print-a-colorful-message.flix
• pure-and-impure-functions.flix
• record-construction-and-use.flix
• select-with-defaults-and-timers.flix
• sending-and-receiving-on-channels.flix
• simple-card-game.flix
• (do not add) the-ast-typing-problem-with-polymorphic-records.flix
• type-aliases.flix
• using-channels-and-select.flix
• (do not add) using-get-opt.flix
• using-laziness-for-infinite-streams.flix
• using-laziness-for-logging.flix
• using-laziness-to-compute-fibonacci.flix
• (pending) working-with-files-and-directories.flix

Add page that demonstrates each VSCode feature.

Some of the example are not working

• Basic Functional Programming (both examples)
• Concurrency (1st example)`
• Polymorphic Effects: Separating Pure and Impure Code
• First-class Datalog Constraints (both examples)

The following screenshots are out of date, since Int is retired and should be updated to Int32

• Image: vscode1
• Image: vscode1
• Image: vscode1
• Image: vscode1

This is also out of date: vscode tutorial

Examples that are not working:

• First-class Datalog Constraints
• Datalog Enriched with Lattice Semantics