background preloader

Programmation

Facebook Twitter

À la découverte de Julia. Dans cet article, je vais vous présenter un nouveau langage, Julia.

À la découverte de Julia

Ce langage est en développement au MIT depuis 2009, et la première version publique date de 2012. Il est actuellement en phase de stabilisation des fonctionnalités pour sa version 0.4. Un nouveau langage pour quoi faire ? Encore un nouveau langage !? Mais il n'y en a pas déjà assez ? En effet, il existe déjà beaucoup — certains diront trop — de langages de programmation dans le monde.

Beaucoup de langages ne sont utiles que dans un domaine spécifique : R pour les statistiques, SQL pour les bases de données relationnelles, …Dès qu'un groupe de nerds n'est pas satisfait des langages qui existent déjà, ils créent le leur. Dans le cadre de Julia, la création d'un nouveau langage est basée sur ces deux points à la fois.

Les langages de haut niveau sont souvent plus pratiques pour exprimer des idées et tester différentes méthodes. En général, la création de logiciels scientifique suit le schéma suivant : Functional Programming Tutorials - Video Course. We look at encoding names and qualified names for today's #haskell exercise. Performance - Fusion optimization with intermediate values. Concurrency, C++, Haskell, Category Theory. Type classes: exploring the design space. Abstract When type classes were first introduced in Haskell they were regarded as a fairly experimental language feature, and therefore warranted a fairly conservative design.

Type classes: exploring the design space

Since that time, practical experience has convinced many programmers of the benefits and convenience of type classes. However, on occasion, these same programmers have discovered examples where seemingly natural applications for type class overloading are prevented by the restrictions imposed by the Haskell design. It is possible to extend the type class mechanism of Haskell in various ways to overcome these limitations, but such proposals must be designed with great care. For example, several different extensions have been implemented in Gofer. Some of these, particularly the support for multi-parameter classes, have proved to be very useful, but interactions between other aspects of the design have resulted in a type system that is both unsound and undecidable.

Alternative preludes – Haskell – Aelve Guide. A pretty interesting prelude – it depends on lots of commonly used packages (containers, deepseq, hashable, mtl, text, time, uuid, vector, and more), and makes their modules available to you via the Rebase.* namespace – so, for instance, instead of adding a dependency on text and importing Data.Text you can just import Rebase.Data.Text and get Data.Text, Data.Text.IO and Data.Text.Encoding simultaneously.

Alternative preludes – Haskell – Aelve Guide

This means that you save some imports and don't have to manually add a dependency. It also provides a Rebase.Prelude module that reexports many non-conflicting functions and types from other modules (as well as a huge subset of base, by depending on base-prelude). Create a Game with Haskell — Create a Game with Haskell. Lens. Personal tools Views Lens From HaskellWiki.

Lens

Envoyer un email en powershell V2 (Send-MailMessage) Grâce à cette nouvelle CmdLet "Send-MailMessage" disponible uniquement en v2 il est très simple d'envoyer un email : Send-MailMessage RÉSUMÉ Envoie un message électronique.

Envoyer un email en powershell V2 (Send-MailMessage)

SYNTAXE Send-MailMessage [-To] <string[]> [-Subject] <string> -From <string> [[-Body] <string>] [[-SmtpServer] <string>] [-Attachments <string[]>] [-Bcc <string[]>] [-BodyAsHt ml] [-Cc <string[]>] [-Credential <PSCredential>] [-DeliveryNotificationOption {None | OnSuccess | OnFailure | Delay | Never}] [-Encoding <Encoding>] [-Priority {Norma l | Low | High}] [-UseSsl] [<CommonParameters>] DESCRIPTION L'applet de commande Send-MailMessage envoie un message électronique à partir de Windows PowerShell. C:\PS>send-mailmessage -to "User01 < user01@example.comCet adresse mail est protégé contre les spambots. Description ----------- Cette commande envoie un message électronique d'User01 à User02. Module 4M056. Cours: Damien Simon Travaux dirigés : Cédric Boutillier, Nicolas Gilliers, Raphaël Roux et Damien Simon.

Module 4M056

Les inscriptions à cette UE sont limitées à 100 étudiants pour des raisons pratiques de taille de parc informatique. Il existe néanmoins une autre UE d’informatique à 12 ECTS orientée vers l’analyse numérique pour ceux qui le souhaitent. Yesod - Ignoring leading whitespace in the "lazy-text" quasiquoter in Haskell Text.Shakespeare.Text. Un langage de programmation fonctionnelle : Haskell. Maintenant que nous avons vu ce qu’est la programmation fonctionnelle et les domaines dans lesquels elle est utilisée, nous allons présenter un langage en particulier.

Un langage de programmation fonctionnelle : Haskell

April 2016 1HaskellADay 1Liners. Diagrams - Diagrams and LaTeX. Images des mathématiques. Par François Rousset 27 avril 2016 - Rédigé par Marie Lhuissier La Maison des Mathématiques accueille chaque semaine les exposés mathématiques, originaux, ludiques et détendants dont ces notes sont issues.

Images des mathématiques

Allez faire un tour sur son site ! Ce que vous croyez entendre n’est par toujours conforme à la réalité... Dans ce carnet de route : des paradoxes auditifs, la composition d’un son, et la gamme de Shepard. Paradoxes à écouter : la gamme de Shepard : un son qui monte et descend à la fois : C’est ici pour télécharger le fichier pdf, et là pour en savoir plus sur le séminaire de la détente et la MMI. Partager cet article Pour citer cet article : Marie Lhuissier — «Illusions auditives» — Images des Mathématiques, CNRS, 2016.

Lpaste — Lambda pastebin. Performance. Welcome to the Haskell Performance Resource, the collected wisdom on how to make your Haskell programs go faster. 1 Introduction One question that often comes up is along the general lines of "Can I write this program in Haskell so that it performs as well as, or better than, the same program written in some other language?

Performance

" This is a difficult question to answer in general because Haskell is a language, not an implementation. C’est quoi une API ? Si la pertinence des métaphores s’arrête où commence la complexité technologique, il peut être intéressant d’exposer les principales caractéristiques d’une API à travers la métaphore électrique.

C’est quoi une API ?

Dans un premier temps, prenons un fournisseur d’électricité : Ce fournisseur produit et distribue un service : l’électricité.Pour distribuer ce service, il utilise une infrastructure : le réseau électrique (câbles, poteaux électriques, compteurs…). Dans un second temps, prenons une lampe (consommateur de ce service) : La lampe, pour fonctionner, doit être reliée au réseau électrique.Pour y être reliée, la lampe est vendue avec une fiche qui devra être branchée dans une prise électrique. La prise électrique est donc une interface (comme l’API) à travers laquelle la lampe (un développeur ou un programme) consomme un service (des données).

Les APIs permettent donc aux développeurs de déléguer le service qu’ils consomment. Le nombre et la forme des brochesle voltage et la fréquencele type de courant. Screencasts. The Haskell Cheatsheet. OpenMusic. OpenMusic allows users to design and run of compositional processes created as visual programs (“patches”). The environment offers a large number of modules, each of which is associated with a specific function or musical object. With just a few mouse clicks, users can create these programs, and generate or transform musical material. Ian Mallett - Tutorials: Don't Write Test Cases Page. "Trying to improve software quality by increasing the amount of testing is like try[ing] to lose weight by weighing yourself more often. " by Ian Mallett [UPDATE Nov 2015: Before today, I thought there was, broadly, only a single kind of TDD. By reconstructing from the comments, however, I surmise that there are at least two--and that the kind with which I am familiar and am attacking is (fortunately) already rare.