25113
Réputation
Réputation
Nom : Petr Pudlák
Membre depuis : 24 de Août, 2018
Petr Pudlák est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
- 2 rep
- 2 rep
Y a-t-il des avantages à utiliser Rank2Types en faveur de RankNTypes?
el 6 de Février, 2020 27 votes - 2 rep
Quels sont les pièges de l'utilisation de FlexibleContexts et FlexibleInstances?
el 26 de Janvier, 2020 28 votes - 4 rep
Exemples où le code fonctionnel optimisé par le compilateur fonctionne mieux que le code impératif
el 17 de Janvier, 2020 30 votes - 3 rep
Exemples de monade dont la partie Applicative peut être mieux optimisée que la partie Monad
el 4 de Janvier, 2020 30 votes - 1 rep
L'utilisation du pragma UndecidableInstances localement peut-elle avoir des conséquences globales sur l'arrêt de la compilation?
el 31 de Décembre, 2019 29 votes - 2 rep
Pourquoi faut-il un $ dans les appels du type "runSomeMonad $ do ..." ?
el 27 de Octobre, 2019 32 votes
Dernières réponses
- 31 votes
Pourquoi les foncteurs applicatifs peuvent-ils avoir des effets secondaires, mais pas les foncteurs ?
el 29 de Janvier, 2013 31 votes - 1 votes
Analyse des données récursives avec parsec
el 3 de Février, 2013 1 votes - 254 votes
Différence entre Arrays.asList(array) et new ArrayList<Integer>(Arrays.asList(array))
el 25 de Mai, 2013 254 votes - 10 votes
Conduit Broadcast
el 15 de Août, 2013 10 votes - 6 votes
Pourquoi n'y a-t-il pas de TreeMap mutable en Scala ?
el 23 de Octobre, 2012 6 votes - 16 votes
Avantage d'éviter les traversées de listes multiples
el 3 de Décembre, 2012 16 votes - 8 votes
Exemples où le code fonctionnel optimisé par le compilateur fonctionne mieux que le code impératif
el 11 de Avril, 2013 8 votes
Tags préférés
- 28 x haskell
- 7 x monads
- 5 x ghc
- 5 x functional-programming
- 3 x applicative
- 3 x lazy-evaluation
- 3 x java
