Есть ли что-то вроде List.init, но вместо этого в форме "int -> 'T ->' T list"?

Question

Я ищу способ попытаться упростить следующее выражение, которое выглядит некрасиво, ИМО:

List.map (fun _ -> generateIndividual()) [1..popSize]

Я нашел около List.init, но на самом деле это не то, что я ищу:

List.init popSize (fun x -> generateIndividual())

Было бы прекрасно, если бы не аргумент к лямбда-выражению. Было бы идеально так:

List.init popSize generateIndividual()

Есть ли в библиотеке F # что-то, что помогло бы мне это исправить?

Спасибо

Answer 1

Благодаря тому, что unit (void) также является типом, вы можете сделать это:

List.init popSize (ignore >> generateIndividual)

Answer 2

Не совсем. Ближайшим решением было бы изменить определение вашей функции generateIndividual, чтобы она принимала значение любого типа (а не только значение типа unit) и отбрасывала его:

let generateIndividual _ = ...

Тогда вы могли бы написать:

List.init popSize generateIndividual

Другое решение заключается в использовании списочного понимания:

* * 1010

Answer 3

Вы можете сделать:

[ for i = 1 to popSize do 
      yield generateIndividual() ]

Answer 4

Вы можете создать расширение следующим образом:

module List =
    let init2 count f = List.init count (fun _ -> f())

Затем вы можете назвать это так:

List.init2 5 generateIndividual

Answer 5

Как насчет этого?

let generateIndividual dummy = 4
let popSize = 10
let lst = List.init popSize generateIndividual

Answer 6

Я знаю, поздно и все, но:

1. Это решение настолько короткое, насколько вы получите,

2. В отличие от отливов (которые вы выбрали), он будет выполнять побочные эффекты один раз:

   (fun a -> Array.create a >> List.ofArray)

Тип точно (int -> 'a ->' список), только недостатокэто преобразование из массива в список, но это все же немного лучше с точки зрения производительности, чем преобразование Seq в список (что и делается с помощью выражений списка).