Aller au contenu Aller au menu
  • Dépêches
  • Journaux
  • Liens
  • Forums
  • Rédaction
  • 🎙️ Projets Libres

LinuxFr.org

Se connecter

Proposer un contenu

  • Pas de compte ? S’inscrire...

Re: théorie des ensembles pas naives

Retourner au contenu associé (journal : [Letlang] Et si on rédigeait la spec ?)

  • [^] # Re: théorie des ensembles pas naives

    Posté par David Delassus (site web personnel) le 09 mai 2022 à 20:04. En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 2.

    https://letlang.dev/lep/005/#type-checking

    Le but c'est de faire un maximum à la compilation, mais on continue de le faire au runtime quand même (faut bien type-check les side effects aussi :P)

    Donc non, ce n'est pas valable que pour les constantes.

    https://link-society.com - https://flowg.cloud - https://krouter.cloud

Revenir en haut de page

Derniers commentaires

  • Re: OpenRC
  • Binaire
  • Re: en soit, c'est pas étonnant
  • Les dévs de Fluux Messenger n'assument pas leur usage de Claude ?
  • Re: Philosophie ?
  • Re: Le résultat, proposition 5 "responsible use of AI"
  • Re: Et pour ARM ?
  • Re: temporalité
  • Re: temporalité
  • Le résultat, proposition 5 "responsible use of AI"
  • Re: Code
  • Re: Non informaticiens

Étiquettes (tags) populaires

  • intelligence_artificielle
  • grands_modèles_de_langage
  • merdification
  • hugging_face
  • réchauffement_climatique
  • canicule
  • administration_française
  • capitalisme
  • startup_nation
  • états-unis
  • linux
  • cybersécurité

Sites amis

  • Agenda du Libre
  • April
  • Éditions D-BookeR
  • Éditions Diamond
  • Éditions Eyrolles
  • Éditions ENI
  • En Vente Libre
  • Framasoft
  • La Quadrature du Net
  • Lea-Linux
  • Open Source Initiative
  • Imprimerie Grafik Plus

À propos de LinuxFr.org

  • Mentions légales
  • Faire un don
  • L’équipe de LinuxFr.org
  • Informations sur le site
  • Aide / Foire aux questions
  • Suivi des suggestions et bogues
  • Wiki du site
  • Règles de modération
  • Statistiques
  • API pour le développement
  • Code source du site
  • Plan du site

AltStyle によって変換されたページ (->オリジナル) /