Les membres ayant 30 points peuvent parler sur les canaux annonces, projets et hs du chat.
La shoutbox n'est pas chargée par défaut pour des raisons de performances. Cliquez pour charger.

Forum Casio - Autres questions


Index du Forum » Autres questions » Programmer en Rust sur calculatrice
Yannis300307 Hors ligne Membre Points: 297 Défis: 0 Message

Programmer en Rust sur calculatrice

Posté le 01/02/2023 17:51

Bonjour,
un ami veut que je "programme en Rust". Je voulais savoir si c'était possible d'utiliser Rust avec le FXSDK (ou au moins avec gint) et si oui comment. Je n'ai vu aucun topic qui en parlait donc en voici un.

EDIT: il parait que le fxdk ne prend pas en charge le Rust ...

Cordialement


Mb88 Hors ligne Rédacteur Points: 1213 Défis: 3 Message

Citer : Posté le 01/02/2023 20:05 | #


Le fxsdk supporte le C et le C++ et l'ASM pour SH4 DSP. Sinon je ne crois pas que d'autre languages sont supportés.
Lephenixnoir Hors ligne Administrateur Points: 24699 Défis: 170 Message

Citer : Posté le 01/02/2023 20:10 | #


Hello, Rust compile vers LLVM et LLVM n'a pas de back-end SuperH. Donc à moins que Rust-GCC se mette à marcher au moins de pouvoir cross-compiler (ce qui n'est pas une hypothèse raisonnable), pas possible.

La solution propre à première vue ce serait de trouver un thésard qui travaille avec des back-ends LLVM, mais qui a ça. 🙃
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Hackcell Hors ligne Maître du Puzzle Points: 1533 Défis: 11 Message

Citer : Posté le 01/02/2023 20:19 | #


Lephenixnoir a écrit :
La solution propre à première vue ce serait de trouver un thésard qui travaille avec des back-ends LLVM, mais qui a ça. 🙃

J'ai peut-être une pote d'une amie d'une conaissance de ma petite amie qui correspond a ce qu'on cherche

Mais faudrait aussi quelqu'un qui soit interessé de faire un backend llvm pour superH et pour le coup Venn est plutôt cruel la dessus
Lephenixnoir Hors ligne Administrateur Points: 24699 Défis: 170 Message

Citer : Posté le 01/02/2023 20:24 | #


Ahaha tu as le bras long ! Je fais la blague parce que c'est ce que je fais dans ma thèse et Yatis voudrait bien que ce back-end existe, mais so far je refuse de me lancer dedans. :P
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Hackcell Hors ligne Maître du Puzzle Points: 1533 Défis: 11 Message

Citer : Posté le 01/02/2023 20:29 | #


Pense a tout les language cool qui n'attende qu'un backend superH pour debarquer sur caltos, du genre zig, hare, nim, go

Plus serieusement, j'ai pensé à toi mais me suis pas avancé parce que j'ai aucune idée de ce que tu fait en ce moment X)
Slyvtt En ligne Maître du Puzzle Points: 2422 Défis: 17 Message

Citer : Posté le 01/02/2023 20:30 | #


Hackcell, oublie pas brainfuck
There are only 10 types of people in the world: Those who understand binary, and those who don't ...
Lephenixnoir Hors ligne Administrateur Points: 24699 Défis: 170 Message

Citer : Posté le 01/02/2023 20:31 | #


En gros une thèse sur intégrer dans les compilateurs l'application des contres-mesures aux fautes matérielles. Je peux détailler si ça intéresse des gens...
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Hackcell Hors ligne Maître du Puzzle Points: 1533 Défis: 11 Message

Citer : Posté le 01/02/2023 21:29 | #


ha nan, yavait un fedigens avec qui j'avais discuté de ça. Que en gros ça obligeait beaucoup de redondance/repetition et autre trick qui pouvait tout a fait être prise en charge par un compilo si "quelqu'un" prennait la peine de l'ajouter
Acrocasio Hors ligne Membre Points: 994 Défis: 0 Message

Citer : Posté le 01/02/2023 21:29 | #


Ça discute tard ici
C'est qui que tu regardes ?
Hackcell Hors ligne Maître du Puzzle Points: 1533 Défis: 11 Message

Citer : Posté le 01/02/2023 21:31 | #


'fin c'est sans doute très resumé, donc si tu veux developper vas-y X)
Lephenixnoir Hors ligne Administrateur Points: 24699 Défis: 170 Message

Citer : Posté le 02/02/2023 09:27 | #


Non c'est ça effectivement, à part à deux détails près ; que (1) les effets des fautes sont beaucoup trop variés, compliqués et imprévisibles pour qu'on puisse espérer les protéger de façon complète, donc on reste dans du best-effort au mieux ; et (2) utiliser le compilateur pour appliquer les contres-mesures n'est pas aussi trivial qu'on pourrait le croire, notamment parce que les optimisations vont s'empresser de la détruire (par exemple en supprimant les calculs redondants, qui sont inutiles du point de vue du langage).
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Yatis En ligne Membre Points: 581 Défis: 0 Message

Citer : Posté le 02/02/2023 11:35 | #


La solution propre à première vue ce serait de trouver un thésard qui travaille avec des back-ends LLVM, mais qui a ça.
[...]
Ahaha tu as le bras long ! Je fais la blague parce que c'est ce que je fais dans ma thèse et Yatis voudrait bien que ce back-end existe, mais so far je refuse de me lancer dedans. :P

Je vais me lancer sur le projet de backend LLVM superh dans les 6 prochains mois. J'ai vraiment envie de partir de GCC pour plein de raison et pour surtout, sur du très long termes, écrire un front-end afin d'avoir un mix entre le C et le Rust (mais uniquement pour porter leur notion de "borrowing" (je n'aime vraiment pas leur syntaxe)).

Bref, a voir a l'avenir, mais possiblement que le Rust pourrais être porté pour la calto. De ce que j'ai commencé a testé et écrire de mon coté, la grosse difficulté va être sur les optimisations de code assembleur généré, mais je compte bien corrompre incité Lephe a me rejoindre la dessus.

A bon entendeur....................................................
Hackcell Hors ligne Maître du Puzzle Points: 1533 Défis: 11 Message

Citer : Posté le 02/02/2023 11:39 | #


pour les opti, ya "juste" besoin de s'occuper des opti de minimization de la taille du code de toute façon
Eragon En ligne Gardien des bots Points: 484 Défis: 0 Message

Citer : Posté le 03/02/2023 11:08 | #


Ho y'a des Rustacés ici ? Je me sentais seul et j'avais presque totalement abandonné l'idée de voir du Rust sur calto.
Inikiwi Hors ligne Membre Points: 594 Défis: 8 Message

Citer : Posté le 03/02/2023 15:58 | #


Vivement Cobol sur casio !
Mb88 Hors ligne Rédacteur Points: 1213 Défis: 3 Message

LienAjouter une imageAjouter une vidéoAjouter un lien vers un profilAjouter du codeCiterAjouter un spoiler(texte affichable/masquable par un clic)Ajouter une barre de progressionItaliqueGrasSoulignéAfficher du texte barréCentréJustifiéPlus petitPlus grandPlus de smileys !
Cliquez pour épingler Cliquez pour détacher Cliquez pour fermer
Alignement de l'image: Redimensionnement de l'image (en pixel):
Afficher la liste des membres
:bow: :cool: :good: :love: ^^
:omg: :fusil: :aie: :argh: :mdr:
:boulet2: :thx: :champ: :whistle: :bounce:
valider
 :)  ;)  :D  :p
 :lol:  8)  :(  :@
 0_0  :oops:  :grr:  :E
 :O  :sry:  :mmm:  :waza:
 :'(  :here:  ^^  >:)

Σ π θ ± α β γ δ Δ σ λ
Veuillez donner la réponse en chiffre
Vous devez activer le Javascript dans votre navigateur pour pouvoir valider ce formulaire.

Si vous n'avez pas volontairement désactivé cette fonctionnalité de votre navigateur, il s'agit probablement d'un bug : contactez l'équipe de Planète Casio.

Planète Casio v4.3 © créé par Neuronix et Muelsaco 2004 - 2024 | Il y a 40 connectés | Nous contacter | Qui sommes-nous ? | Licences et remerciements

Planète Casio est un site communautaire non affilié à Casio. Toute reproduction de Planète Casio, même partielle, est interdite.
Les programmes et autres publications présentes sur Planète Casio restent la propriété de leurs auteurs et peuvent être soumis à des licences ou copyrights.
CASIO est une marque déposée par CASIO Computer Co., Ltd