Futhark v0.12.1

Futhark est un langage de programmation qui supporte le parallélisme et appartient à la famille des ML.

Ajouté :

  • La représentation interne des constructions parallèles a été révisée et optimisée. À quelques exceptions près, cela peut avoir un impact significatif sur les performances.
  • Il y a maintenant un support pour les types-somme typés structurellement et le patronage. Cependant, il reste certains problèmes avec les tableaux de types-somme qui contiennent eux-mêmes des tableaux.
  • Le temps de compilation de certains grands programmes a été considérablement réduit.
  • Les paramètres de type spécifiés manuellement n'ont plus besoin d'être exhaustifs.
  • L'affichage du paramètre rotate a été simplifié.

Supprimé

  • L'opérateur préfixe ~ n'est plus utilisé, et ! peut maintenant être appliqué pour effectuer une négation bit à bit des entiers.

Modifié :

  • L'option —futhark pour futhark bench et futhark test correspond désormais par défaut au binaire utilisé pour les sous-commandes elles-mêmes.
  • L'option obsolète futhark -t (qui remplissait la même fonction que futhark check) a été supprimée.
  • stream_map est devenu map_stream, et stream_red est devenu reduce_stream.

Corrigé :

  • futhark test comprend désormais —no-tuning comme prévu à l'origine.
  • Les commandes futhark bench et futhark test interprètent désormais correctement —exclude.
  • Le backend en Python et C# peut maintenant lire correctement les données binaires.

Source : linux.org.ru

Acheter un hébergement fiable pour les sites avec protection DDoS, serveurs VPS VDS 🔥 Acheter un hébergement fiable pour les sites avec protection DDoS, serveurs VPS VDS | ProHoster