Uma função que chama Math.random () é pura?

O seguinte é uma função pura?

function test(min,max) {
   return  Math.random() * (max - min) + min;
}

Meu entendimento é que uma função pura segue estas condições:

1. Ele retorna um valor calculado a partir dos parâmetros
2. Ele não faz nenhum trabalho além de calcular o valor de retorno

Se esta definição estiver correta, minha função é uma função pura? Ou meu entendimento do que define uma função pura está incorreto?

Não, não é. Dada a mesma entrada, esta função retornará valores diferentes. E então você não pode construir uma 'tabela' que mapeie a entrada e as saídas.

Do artigo da Wikipedia para a função Pure :

A função sempre avalia o mesmo valor de resultado dado o (s) mesmo (s) valor (es) de argumento. O valor do resultado da função não pode depender de qualquer informação oculta ou estado que pode mudar enquanto a execução do programa prossegue ou entre diferentes execuções do programa, nem pode depender de qualquer entrada externa de dispositivos de E / S

Além disso, outra coisa é que uma função pura pode ser substituída por uma tabela que representa o mapeamento da entrada e saída, conforme explicado neste tópico .

Se você quiser reescrever esta função e alterá-la para uma função pura, você deve passar o valor aleatório como um argumento também

function test(random, min, max) {
   return random * (max - min) + min;
}

e chame-o desta forma (por exemplo, com 2 e 5 como mínimo e máximo):

test( Math.random(), 2, 5)

A resposta simples para sua pergunta é que Math.random()viola a regra nº 2.

Muitas outras respostas aqui indicaram que a presença de Math.random()significa que essa função não é pura. Mas acho que vale a pena dizer por Math.random() que as funções de contaminação que o usam.

Como todos os geradores de números pseudoaleatórios, Math.random()começa com um valor "semente". Em seguida, ele usa esse valor como ponto de partida para uma cadeia de manipulações de bits de baixo nível ou outras operações que resultam em uma saída imprevisível (mas não realmente aleatória ).

Em JavaScript, o processo envolvido depende da implementação e, ao contrário de muitas outras linguagens, o JavaScript não fornece nenhuma maneira de selecionar a semente :

A implementação seleciona a semente inicial para o algoritmo de geração de números aleatórios; não pode ser escolhido ou redefinido pelo usuário.

É por isso que essa função não é pura: JavaScript está essencialmente usando um parâmetro de função implícito sobre o qual você não tem controle. Ele está lendo esse parâmetro de dados calculados e armazenados em outro lugar e, portanto, viola a regra nº 2 em sua definição.

Se você quiser fazer disso uma função pura, poderá usar um dos geradores de números aleatórios alternativos descritos aqui . Chame aquele gerador seedable_random. Leva um parâmetro (a semente) e retorna um número "aleatório". Claro, esse número não é realmente aleatório; é determinado exclusivamente pela semente. É por isso que esta é uma função pura. A saída de seedable_randomé apenas "aleatória" no sentido de que é difícil prever a saída com base na entrada.

A versão pura desta função precisaria de três parâmetros:

function test(min, max, seed) {
   return  seedable_random(seed) * (max - min) + min;
}

Para qualquer dado triplo de (min, max, seed)parâmetros, isso sempre retornará o mesmo resultado.

Observe que, se você quiser que a saída de seedable_randomseja realmente aleatória, precisará encontrar uma maneira de tornar a semente aleatória! E qualquer estratégia que você usasse seria inevitavelmente não pura, porque exigiria que você reunisse informações de uma fonte externa à sua função. Como o mtraceur e o jpmc26 me lembram, isso inclui todas as abordagens físicas: geradores de números aleatórios de hardware , webcams com tampas de lente , coletores de ruído atmosférico - até lâmpadas de lava . Tudo isso envolve o uso de dados calculados e armazenados fora da função.

Uma função pura é uma função em que o valor de retorno é determinado apenas por seus valores de entrada, sem efeitos colaterais observáveis

Ao usar Math.random, você está determinando seu valor por algo diferente dos valores de entrada. Não é uma função pura.

fonte

Não, não é uma função pura porque sua saída não depende apenas da entrada fornecida (Math.random () pode produzir qualquer valor), enquanto as funções puras devem sempre produzir o mesmo valor para as mesmas entradas.

Se uma função for pura, é seguro otimizar várias chamadas com as mesmas entradas e apenas reutilizar o resultado de uma chamada anterior.

PS, pelo menos para mim e para muitos outros, redux tornou o termo função pura popular. Direto dos documentos redux :

Coisas que você nunca deve fazer dentro de um redutor:

• Transforme seus argumentos;

• Execute efeitos colaterais como chamadas de API e transições de roteamento;

• Chame funções não puras, por exemplo, Date.now () ou Math.random ().

Do ponto de vista matemático, sua assinatura não é

test: <number, number> -> <number>

mas

test: <environment, number, number> -> <environment, number>

onde o environmenté capaz de fornecer resultados Math.random(). E, de fato, gerar o valor aleatório altera o ambiente como um efeito colateral, então você também retorna um novo ambiente, que não é igual ao primeiro!

Em outras palavras, se você precisa de qualquer tipo de entrada que não venha dos argumentos iniciais (a <number, number>parte), então você precisa de um ambiente de execução (que neste exemplo fornece estado para Math). O mesmo se aplica a outras coisas mencionadas por outras respostas, como I / O ou algo semelhante.

Como uma analogia, você também pode notar que é assim que a programação orientada a objetos pode ser representada - se dissermos, por exemplo

SomeClass something
T result = something.foo(x, y)

então, na verdade, estamos usando

foo: <something: SomeClass, x: Object, y: Object> -> <SomeClass, T>

com o objeto que tem seu método invocado sendo parte do ambiente. E por que a SomeClassparte do resultado? Porque somethingo estado de também poderia ter mudado!

Funções puras sempre retornam o mesmo valor para a mesma entrada. As funções puras são previsíveis e transparentes quanto ao referencial, o que significa que podemos substituir a chamada da função pela saída retornada e isso não mudará o funcionamento do programa.

https://github.com/MostlyAdequate/mostly-adequate-guide/blob/master/ch3.md

Além das outras respostas que apontam corretamente como essa função é não determinística, ela também tem um efeito colateral: fará com que chamadas futuras math.random()para retornem uma resposta diferente. E um gerador de números aleatórios que não tem essa propriedade geralmente executa algum tipo de E / S, como ler de um dispositivo aleatório fornecido pelo sistema operacional. Qualquer um é proibido para uma função pura.

Não, não é. Você não consegue descobrir o resultado de forma alguma, portanto, esse pedaço de código não pode ser testado. Para tornar esse código testável, você precisa extrair o componente que gera o número aleatório:

function test(min, max, generator) {
  return  generator() * (max - min) + min;
}

Agora, você pode simular o gerador e testar seu código corretamente:

const result = test(1, 2, () => 3);
result == 4 //always true

E em seu código de "produção":

const result = test(1, 2, Math.random);

Você estaria bem com o seguinte:

return ("" + test(0,1)) + test(0,1);

ser equivalente a

var temp = test(0, 1);
return ("" + temp) + temp;

?

Veja, a definição de puro é uma função cuja saída não muda com nada além de suas entradas. Se dissermos que o JavaScript tem uma maneira de marcar uma função pura e tirar vantagem disso, o otimizador terá permissão para reescrever a primeira expressão como a segunda.

Tenho experiência prática com isso. Servidor SQL permitido getdate()e newid()em funções "puras" e o otimizador eliminaria as chamadas à vontade. Às vezes, isso faria algo estúpido.