Messages de TeamD4
Le 28 novembre 2021 à 23:54:42 :
Le 28 novembre 2021 à 23:51:53 :
Le 28 novembre 2021 à 23:50:48 :
Le 28 novembre 2021 à 23:46:51 :
Le 28 novembre 2021 à 23:39:42 :
Le 28 novembre 2021 à 23:37:19 :
Le 28 novembre 2021 à 23:34:58 :
Le 28 novembre 2021 à 23:31:50 :
la blackpill c'est ocamlC'est le plus gros filtre à brainlet pro-C les langages fonctionnels
La simplicité du fonctionnel quand tu veux manipuler des structures de données
https://image.noelshack.com/fichiers/2018/34/4/1535040519-1529680164-risiboulbepetit.png Le fonctionnel est tout sauf naturel pour une machine, il doit être émulé, je préfère être plus intuitif avec une machine qu'avec un concept abstrait mathématique
Qu'est-ce que tu baragouines y'a aucun langage "naturel" pour une machine si ce n'est le binaire, elle comprend pas plus ton pattern matching en ocaml que ton malloc en C, c'est le compilo/interpréteur qui va pondre un truc compréhensible pour le PC derrière, c'est le principe de la compilation
https://image.noelshack.com/fichiers/2021/26/3/1625067419-b6103851-4b70-4ec4-804e-0afaa4c717a6.png C'est très simple, le C n'est pas émulé mais directement compilé en assembleur ligne après ligne tel quel, alors que le fonctionnel est transformé en un code intermédiaire que la machine va pouvoir exécuter à condition d'y rajouter des helpers, un système de mémoire automatique, un système de lazy evaluation, etc.
C'est indéniable si tu ne vois pas la différence je ne sais pas quoi te direLa plus grosse redpill c’est que, si, même le c est émulé en 2k21.
La redpill supplémentaire c’est que même l’assembleur est emulé. Même vos putain de registres CPU que vous définissez en assembleur sont émulé.
Même vos bordel d’OPCODE encodé à la main sont pas exécutés dans l’ordre en 2k21.
Oui après ce que le CPU fait tant qu'il le fait dans l'ordre voulu tout va bien
Bah détrompe toi pas toujours. Des bugs de fou furieux avec des instructions que le CPU a pas exécuter dans l’ordre c’est souvent. T’es obligé d’encadré de barrière mémoire certaines sections pour pas que le CPU parte en roue libre.
La non atomicité des opérations est une redpill aussi.
J'ai du mal à te croire dans le sens où l'ordre est bien défini, juste assez compliqué à comprendre. J'entends par là que le bug vient sans doute de toi sauf dans des cas exceptionnels. En général, ton compilo/langage haut niveau (e.g., atomics avec sequantial_consistency) devrait aider énormément.
Sauf si t'as des bugs affreux type mercurial cores (https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s01-hochschild.pdf, excellent papier HotOS 2021).
Le 28 novembre 2021 à 23:51:53 :
Le 28 novembre 2021 à 23:50:48 :
Le 28 novembre 2021 à 23:46:51 :
Le 28 novembre 2021 à 23:39:42 :
Le 28 novembre 2021 à 23:37:19 :
Le 28 novembre 2021 à 23:34:58 :
Le 28 novembre 2021 à 23:31:50 :
la blackpill c'est ocamlC'est le plus gros filtre à brainlet pro-C les langages fonctionnels
La simplicité du fonctionnel quand tu veux manipuler des structures de données
https://image.noelshack.com/fichiers/2018/34/4/1535040519-1529680164-risiboulbepetit.png Le fonctionnel est tout sauf naturel pour une machine, il doit être émulé, je préfère être plus intuitif avec une machine qu'avec un concept abstrait mathématique
Qu'est-ce que tu baragouines y'a aucun langage "naturel" pour une machine si ce n'est le binaire, elle comprend pas plus ton pattern matching en ocaml que ton malloc en C, c'est le compilo/interpréteur qui va pondre un truc compréhensible pour le PC derrière, c'est le principe de la compilation
https://image.noelshack.com/fichiers/2021/26/3/1625067419-b6103851-4b70-4ec4-804e-0afaa4c717a6.png C'est très simple, le C n'est pas émulé mais directement compilé en assembleur ligne après ligne tel quel, alors que le fonctionnel est transformé en un code intermédiaire que la machine va pouvoir exécuter à condition d'y rajouter des helpers, un système de mémoire automatique, un système de lazy evaluation, etc.
C'est indéniable si tu ne vois pas la différence je ne sais pas quoi te direLa plus grosse redpill c’est que, si, même le c est émulé en 2k21.
La redpill supplémentaire c’est que même l’assembleur est emulé. Même vos putain de registres CPU que vous définissez en assembleur sont émulé.
Même vos bordel d’OPCODE encodé à la main sont pas exécutés dans l’ordre en 2k21.
Oui après ce que le CPU fait tant qu'il le fait dans l'ordre voulu tout va bien
Ayah, le modèle mémoire x86 est d'une limpidité sans faille qui rend quasi-impossible la définition d'ordre voulu en multi-threadé.
Le program order qui est différent du code order et qui n'est pas consistent entre les threads.
Mais effectivement, le C n'est plus (depuis longtemps) "proche de la machine". A la limite, il est proche de l'ISA x86 user-mode mono-coeur, mais le CPU fait tellement de travail pour la conversion CISC->RISC, le réordonnancement, le renommage, l'exécution spéculative, etc. (et le compilo aussi) que la machine est à des années lumières de C. Hop hop hop, on invente un nouveau langage basique pour les architectures modernes au lieu de se faire chier avec un langage ultra-dépassé. Mais c'est vrai que la sélectione sera très naturelle car ça va demander de comprendre un peu plus que "un tas, une pile, une liste d'instructions, un PC".
Le 28 novembre 2021 à 23:46:51 :
Le 28 novembre 2021 à 23:39:42 :
Le 28 novembre 2021 à 23:37:19 :
Le 28 novembre 2021 à 23:34:58 :
Le 28 novembre 2021 à 23:31:50 :
la blackpill c'est ocamlC'est le plus gros filtre à brainlet pro-C les langages fonctionnels
La simplicité du fonctionnel quand tu veux manipuler des structures de données
https://image.noelshack.com/fichiers/2018/34/4/1535040519-1529680164-risiboulbepetit.png Le fonctionnel est tout sauf naturel pour une machine, il doit être émulé, je préfère être plus intuitif avec une machine qu'avec un concept abstrait mathématique
Qu'est-ce que tu baragouines y'a aucun langage "naturel" pour une machine si ce n'est le binaire, elle comprend pas plus ton pattern matching en ocaml que ton malloc en C, c'est le compilo/interpréteur qui va pondre un truc compréhensible pour le PC derrière, c'est le principe de la compilation
https://image.noelshack.com/fichiers/2021/26/3/1625067419-b6103851-4b70-4ec4-804e-0afaa4c717a6.png C'est très simple, le C n'est pas émulé mais directement compilé en assembleur ligne après ligne tel quel, alors que le fonctionnel est transformé en un code intermédiaire que la machine va pouvoir exécuter à condition d'y rajouter des helpers, un système de mémoire automatique, un système de lazy evaluation, etc.
C'est indéniable si tu ne vois pas la différence je ne sais pas quoi te dire
Oui mais non. Regarde du côté de Rust si tu veux t'en convaincre : 0 overhead alors que tu passes ton temps à manipuler des monades, enchaîner 25 transformations sur des itérateurs et n'a jamais à te soucier de l'allocation dynamique.
Le 28 novembre 2021 à 23:36:30 :
Selon vous quel est le langage de programmation le plus dur pour vous?Je suis en L1 info et je veux commencer par un truc ultra costaud
Rust a une sacrée courbe d'apprentissage, mais d'une limpidité sans faille quand tu as perdu tes mauvaises habitudes et que tu as compris le but de la bête.
Sans doute un des meilleurs langages jamais créés.
Vraiment, go Rust.
Le 27 novembre 2021 à 22:04:58 :
Débuggage en direct ici : &t=521s
Ayah c'est vrai que c'est bien grâce à lui que le coffre est en cours de débogage depuis le théorème de N.E.U9.