functional-programming

Вопрос или проблема Я работаю с выводом типов и полиморфизмом высшего порядка и пытаюсь определить наименьший общий тип для двух типов. Например, имея два подтипа: (A < (forall a. a -> Int)) и (A < (forall a. a -> Bool)) я хотел бы определить тип A, который является “

Вопрос или проблема import Lean1.Basic structure ArrayN (n : Nat) (α : Type) where array : { array : Array α // array.size = n } class Hash (HashType: Type) where hashSize: Nat hash: x -> ArrayN (hashSize) UInt8 structure Private (Key: Type) (HashType

Вопрос или проблема В JavaScript мы можем сделать следующее: function isBiggerThan10(element, index, array) { return element > 10; } [2, 5, 8, 1, 4].some(isBiggerThan10); // ложь [12, 5, 8, 1, 4].some(isBiggerThan10); // истина https://developer.

Вопрос или проблема В книге ObcIO, ADVANCED SWIFT, приводится следующий пример: var numbers = [1,2,3,4,5] extension Array { func accumulate(_ initialResult: Result, _ nextPartialResult: (Result, Element) -> Result) -> [Result] { var running = initialResult

Вопрос или проблема В Ocaml вы можете сделать следующее: type attr = .. type attr += Str of string type attr += | Int of int | Float of float Есть ли версия этого в Scala? Я знаю, что есть способ реализовать это с помощью классов, как видно в этом посте