J'ai lu un article qui a déclaré:
Fournir des instances pour les nombreuses classes de type standard [foncteurs] vous donnera immédiatement beaucoup de fonctionnalités pour pratiquement libres
Ma question est la suivante: quelle est cette fonctionnalité que vous obtenez gratuitement (pour les foncteurs ou autres classes de type)? Je sais quelle est la définition d'un foncteur, mais que dois-je obtenir pour libre en définissant quelque chose comme un foncteur / autre classe de type. Autre chose qu'une syntaxe plus jolie. Idéalement, ce serait des fonctions générales et utiles qui fonctionnent sur les foncteurs / autres classes de type.
Mon imagination (pourrait être incorrect) de quel moyen libre est des fonctions de ce type:
Typeclass x => utile x y = ..== EDIT / ADDITITION ==
Je suppose que je demande principalement aux classes de type plus abstraites (et cérébrales), telles que celles dans cette image . Pour des classes moins abstraites comme ORD, mon intuition orientée objet comprend.
6 Réponses :
Il existe de nombreuses fonctions standard dans HASKELL qui nécessitent que leurs arguments mettent en œuvre une ou plusieurs classes de type. Ce faisant dans votre code permet aux autres développeurs (ou vous-même) d'utiliser vos données de manière déjà familiarisée, sans avoir à écrire des fonctions supplémentaires.
À titre d'exemple, la mise en œuvre de la classe Type d'ordonnance vous permettra d'utiliser des éléments comme Trier, Min, Max, etc. Où autrement, vous auriez besoin de SORBY et similaire.
Oui, cela signifie que la mise en œuvre de la classe de type La classe de type Foncteur n'est pas trop intéressante à cet égard, car il ne vous donne pas beaucoup de choses.
Un meilleur exemple est la monade et les fonctions du module Certains des plus utiles incluent: foo vous donne toutes les autres fonctions qui ont un FOO contrainte "gratuitement".
Control.monad . Une fois que vous avez défini les deux monad Fonctions (>> =) et retour pour votre type, vous obtenez une autre ou deux fonctions qui peuvent puis être utilisé sur votre type.
mapm , séquence , pour toujours , joindre , , FILEM , FilterM , réplicatem , lorsque , , sauf si et lifting . Celles-ci montrent tout le temps dans le code Haskell.
Les foncteurs sont simples et probablement pas le meilleur exemple. Regardons la monade à la place:
liftm - Si quelque chose est une monade, il s'agit également d'un foncteur où liftm est fmap . .
-
> => , <= << / code>: vous pouvez composer a -> mb fonctionne gratuitement où m Votre monade est-elle?
-
FILEM, MAPM, FILETM ... Vous obtenez un tas de fonctions utilitaires généralisant les fonctions existantes à utiliser votre monade.
-
quand , garde * et sauf si - Vous obtenez également des fonctions de contrôle gratuitement.
-
rejoindre - Ceci est en fait assez fondamental pour la définition d'une monade, mais vous n'avez pas besoin de le définir dans HASKELL, car vous avez défini >> = .
- Transformers -
Errort etc. Vous pouvez verser une erreur d'erreur sur votre nouveau type gratuitement (donner ou prendre)!
Fondamentalement, vous obtenez une grande variété de fonctions standard "levées" pour utiliser votre nouveau type dès que vous en faites une instance monad . Il devient également trivial (mais hélas non automatique) pour en faire un document et applicatif aussi.
Cependant, ce sont tous des "symptômes" d'une idée plus générale. Vous pouvez écrire un code intéressant et non trivial qui s'applique à tous monads. Vous trouverez peut-être certaines des fonctions que vous avez écrites pour votre type - qui sont utiles dans votre cas particulier, pour une raison quelconque - peut être généralisée à toutes les monades. Maintenant, vous pouvez soudainement prendre votre fonction et l'utiliser sur des analyseurs, des listes et des maybes et ...
* Comme Daniel Fischer souligné utilement, Guard nécessite monadplus plutôt que monad . .
garde nécessite monadplus .
Comme il semble que ce ne semble être une poignée de ces fonctions de bibliothèque, même pour la monade qui est une assez belle classe de type riche, je terminerais, il est peu probable qu'il se produise. C'est théoriquement possible que votre code puisse généraliser par magie à toutes les monades, mais pratiquement s'ils existaient, je verrais beaucoup plus de fonctions utiles pour les monades.
Les foncteurs ne sont pas très intéressants par eux-mêmes, mais ils sont un tremplin nécessaire pour entrer dans des foncteurs applicatifs et traverse .
La propriété principale qui rend les foncteurs d'applications utiles est que vous pouvez utiliser Monads sont l'une des classes de type les plus intéressantes et utiles, mais elles sont déjà bien couvertes par les autres réponses.
fmap avec l'opérateur d'applications <*> pour "soulever" n'importe quelle fonction de n'importe quelle arité pour travailler avec valeurs applicatives. C'est à dire. Vous pouvez transformer tout a -> b -> c-> d dans applicatif f => f A -> f b -> f C -> f d . Vous pouvez également jeter un coup d'œil à .Traverable et data.LeLeLe contient plusieurs fonctions à usage général qui impliquent des foncteurs applicatifs.
alternatif est un foncteur d'application spécialisé qui prend en charge le choix entre des solutions de rechange pouvant "échouer" (la signification exacte de "vide" dépend de l'instance applicative). Les analyseurs applicatifs sont un exemple pratique où les définitions de certains et de nombreux sont très intuitives (par exemple, assortir un modèle zéro-ou-plusieurs fois ou une fois d'un ou plusieurs fois).
monoïde est une autre classe de type qui est à la fois simple et immédiate. Il définit essentiellement un moyen d'ajouter deux pièces de données ensemble, ce qui vous donne ensuite un Concat ainsi que des fonctionnalités dans le module susmentionné pliable et vous permet également d'utiliser écrivain monade avec le type de données.
Comme d'autres l'ont dit, le fonctionnement lui-même ne vous a pas réellement géré gratuitement. Fondamentalement, le plus haut niveau ou général une typlass est (ce qui signifie que plus les choses correspondent à cette description), la fonctionnalité moins "libre" que vous allez obtenir. Donc, par exemple, le fonctionnement et le monoïde ne vous fournissent pas beaucoup, mais la monade et la flèche vous fournissent de nombreuses fonctions utiles gratuitement.
in Haskell, il est toujours judicieux d'écrire une instance pour le fonctionnement et le monoïde (si votre type de données est effectivement un foncteur ou un monoïde), car nous essayons presque toujours d'utiliser l'interface la plus générale possible lorsque vous écrivez des fonctions. Si vous écrivez une nouvelle fonction qui peut vous échapper uniquement à l'aide de fmap pour fonctionner sur votre type de données, il n'y a aucune raison de restreindre artificiellement la fonction à monad S ou applicatif s, car cela pourrait être utile ultérieurement pour d'autres choses.
Votre intuition orientée objet effectue, si vous lisez «Interface et mise en œuvre» pour «Typique et instance». Si vous faites votre nouveau type C une instance d'une typlasse standard B, vous obtenez gratuitement que votre type fonctionnera avec tout le code existant A qui dépend de b.
Comme d'autres l'ont dit, lorsque la typlass est quelque chose comme
monad , les Freebies sont les nombreuses fonctions de la bibliothèque telles queFILEM etquand .