Grain Futures Act

Grain Futures Act : Comprendre les bases pour le trading de contrats à terme crypto

Le Grain Futures Act (Loi sur les contrats à terme sur les grains) est une législation historique qui a jet# An experiment with `scala.quoted` type level programming features

This repository contains an experiment to get familiar with `scala.quoted` (and in particular the type level programming features) and to see how far we can get with the current features.

It is a companion repository of the blog post [Type-level programming in Scala 3](https://blog.softwaremill.com/type-level-programming-in-scala-3-3d41753d5051).

1. 1. Context

Let's say we want to define a type-level function that operates on a tuple. In our example, we want to reverse the elements of a tuple, such that `Reverse(a *: b *: EmptyTuple]` should give us `b *: a *: EmptyTuple`.

1. 1. Running the code

You can run the code in the sbt REPL by running:

```bash sbt console ```

Then you can experiment with the code by running the following commands:

```scala import io.scalaland.workout.TypeLevelTupleReverse._

// The following should work summon[Reverse[(1, 2)] =:= (2, 1)] summon[Reverse[(1, 2, 3)] =:= (3, 2, 1)] summon[Reverse[(1, 2, 3, 4)] =:= (4, 3, 2, 1)]

// The following should not compile summon[Reverse[(1, 2)] =:= (1, 2)] summon[Reverse[(1, 2, 3)] =:= (1, 2, 3)] summon[Reverse[(1, 2, 3, 4)] =:= (1, 2, 3, 4)] ```

1. 1. Problems with the current implementation

Currently, the implementation does not work with nested tuples. For example, `Reverse[(1, (2, 3))]` should give us `((3, 2), 1)`, but it currently gives us `((2, 3), 1)`. This is because the current implementation does not recursively reverse the elements of the tuple.

1. 1. Conclusion

This experiment shows that `scala.quoted` is a powerful tool for type-level programming. However, it also shows that there are still some limitations to the current features. In particular, the lack of support for `match types` makes it difficult to implement recursive type-level functions. I hope that this experiment will help to identify the limitations of the current features and to motivate the development of new features in the future.

Plateformes de trading de contrats à terme recommandées

Plateforme	Caractéristiques des contrats à terme	Inscription
Binance Futures	Effet de levier jusqu'à 125x, contrats USDⓈ-M	Inscrivez-vous maintenant
Bybit Futures	Contrats perpétuels inversés	Commencer à trader
BingX Futures	Trading par copie pour les contrats à terme	Rejoignez BingX
Bitget Futures	Contrats avec marge USDT	Ouvrir un compte

Rejoignez la communauté

Abonnez-vous à la chaîne Telegram @strategybin pour plus d'informations. La plateforme crypto la plus rentable - inscrivez-vous ici.

Participez à notre communauté

Abonnez-vous à la chaîne Telegram @cryptofuturestrading pour des analyses, des signaux gratuits et bien plus encore !