functional-programming

8calore

4risposta

Un esempio di vita reale quando l'abbinamento di modelli è più preferibile rispetto a un'espressione di caso in Haskell?

Quindi sono stato impegnato con il libro Real World Haskell e ho eseguito l'esercizio lastButOne. Sono venuto con 2 soluzioni, uno con pattern matching lastButOne :: [a] -> a lastButOne ([]) = error

8calore

1risposta

Cercare la generalizzazione del costrutto `se px then x else empty`

Ho un paio di frammenti che sembrano voler fare la stessa cosa, ma non sono del tutto convinto che ci sia un costrutto generalizzato per gestirli entrambi . In un unico luogo, ho ensure :: (String ->

15calore

1risposta

Come si converte un tipo induttivo in un tipo coinduttivo in modo efficiente (senza ricorsione)?

> {-# LANGUAGE DeriveFunctor, Rank2Types, ExistentialQuantification #-} Qualsiasi tipo induttivo è definito in questo modo > newtype Ind f = Ind {flipinduct :: forall r. (f r -> r) -> r} > inductio

7calore

1risposta

L'operatore del dollaro ($) è supportato in elm?

In Haskell, è possibile utilizzare l'operatore $ per ripulire i bit di codice, eliminando la necessità di parenti. Elm supporta questo operatore o qualcosa del genere? Posso definirlo anch'io ma spera

6calore

1risposta

Come si formalizza la torre numerica sui linguaggi funzionali?

Tutti sanno che il modo elegante per esprimere numeri naturali su linguaggi funzionali dipendente tipizzati: data Nat = Zero | Succ Nat Integer, Frazione, reale, Complex e Quaternion sono, anche, mo

27calore

3risposta

c'è un equivalente di 'enumerare' pitone in ES6

c'è un equivalente di 'enumerare' pitone in ES6 def elements_with_index(elements): modified_elements = [] for i, element in enumerate(elements): modified_elements.append("%d:%s" % (i,

12calore

5risposta

rendere la funzione con 'se' point-free

Ho un compito in Haskell (no, non sono i miei compiti, sto imparando per l'esame). Il compito è: Write funzione senza punto numocc che conta le occorrenze di elemento in determinati liste. Ad esempio:

15calore

3risposta

Il modo migliore per ottenere l'intersezione delle chiavi di due oggetti?

Ho due letterali oggetto in questo modo: var firstObject = { x: 0, y: 1, z: 2, a: 10, b: 20, e: 30 } var secondObject = { x: 0, y: 1, z: 2, a:

6calore

3risposta

Stile funzionale Java 8 per iterare con gli indici

Ho praticato java 8 stream e lo stile funzionale per un po '. A volte provo a risolvere alcuni enigmi di programmazione usando solo i flussi. E durante questo periodo ho trovato una classe di compiti

16calore

1risposta

Quali sono iperfunzionamenti nel contesto dell'informatica?

In Arrows: A General Interface to Computation Ho trovato questa breve osservazione sulla iperfunzioni: Il tipo di dati strano newtype Hyper b c = H (Hyper c b -> c) può dimostrare di essere una frec