non-deterministic

5calore

1risposta

Strutture dati con componenti non deterministici in Coq

Ho provato a modellare una codifica monadica meno ingenua del non-determinismo (meno ingenuo di MonadPlus e liste comuni) in Coq che è spesso usato in Haskell; ad esempio la codifica per gli elenchi è

26calore

2risposta

Sql Server funzione definita dall'utente deterministico

Ho la seguente funzione definita dall'utente: create function [dbo].[FullNameLastFirst] ( @IsPerson bit, @LastName nvarchar(100), @FirstName nvarchar(100) ) returns nvarchar(201) as

27calore

1risposta

Perché l'ordinamento dei dizionari non è deterministico?

Sono passato da Python 2.7 a Python 3.3, e sembra che mentre in Python 2 l'ordinamento delle chiavi del dizionario fosse arbitrario ma coerente, in Python 3 l'ordinamento delle chiavi di un dizionario

5calore

1risposta

Perché questo codice opencl non è deterministico?

Il seguente codice python utilizza PyOpenCL per riempire l'array a_plus_b con la somma degli elementi nell'array b (questo non è il mio obiettivo reale, ma è il codice più semplice che riesca a trovar

53calore

10risposta

Come testare un algoritmo genetico

Ho fatto un pò di algoritmi genetici; lavorano (trovano rapidamente una soluzione ragionevole). Ma ora ho scoperto TDD. C'è un modo per scrivere un genetic algorithm (che si basa molto su numeri casua

5calore

2risposta

Scelta non deterministica con operatore amb

È possibile implementare McCarthy's amb-operator per la scelta non deterministica in C#? Apparentemente .NET non supporta il supporto di continuazione ma yield return potrebbe essere utile. Ciò sarebb

8calore

2risposta

Prolog: evitare punti di scelta ridondanti (non determinismo) con e senza operatore di taglio

In primo luogo, ho letto tutti gli altri post su SO relativi all'uso dei tagli in Prolog e sicuramente vedremo i problemi relativi al loro utilizzo. Tuttavia, c'è ancora un po 'di chiarezza per me e m

19calore

2risposta

Perché haskell concomitante non deterministico mentre primitive haskell parallele (par e pseq) deterministiche?

Non capisco perfettamente il determinismo nel contesto della concorrenza e del parallelismo in Haskell. Alcuni esempi potrebbero essere utili. Grazie

6calore

2risposta

Come convertire in modo pulito tra liste e trasformatori monad ListT?

Attualmente sto scrivendo un progetto in cui faccio un uso massiccio del trasformatore monad ListT. Quando si usano liste semplici, implementare il nondeterminismo è molto semplice. Tuttavia, una volt

13calore

2risposta

Posso modellare un elenco di successi con errori di cortocircuito tramite la composizione di funtori applicativi?

L'utente 'singpolyma' asked on reddit se ci fosse qualche struttura generale sottostante: data FailList a e = Done | Next a (FailList a e) | Fail e una monade libera è stato suggerito, ma mi chiedev