New examples missing

[ninaandrup]

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

[ninaandrup]

@magnus-madsen I'm not sure, if this is what you wanted. But here is a list of all example currently in this flix/flix folder. And the ones ticked are the ones already on the home-page of the website. The rest are missing.

[magnus-madsen]

I think we should add all of them except using-get-opt.flix and the-ast-typing-problem-with-polymorphic-records.flix.

Will you do that? One challenge is to add them in a sensible order. On flix.dev we don't use an alphabetical order, but more an order of "easy relevant for everyone" to "difficult and only relevant for some".

[ninaandrup]

Yes, I notices the odd ordering. I will give it a try, and then we can always discuss the ordering

[magnus-madsen]

Sounds good. Possibly the examples should just go near the end.