У меня вопрос к залу! type 'a heap =

Question

У меня вопрос к залу! type 'a heap =

| Empty
| Node of int*'a* 'a heap * 'a heap * 'a heap
module Heap =
let priority = function
| Empty -> failwith "empty"
| Node(p,v,parent,left,right) -> p
let value = function
| Empty -> failwith "empty"
| Node(p,v,parent,left,right) -> vМожно ли написать какую-то оберточную функцию, чтоб она принимала другую функцию, обрабатывающую только кейс Node(...)? Иными словами, можно ли как-то ограничить тип аргумента одной частью юниона? Ну или другой подход подскажете, чтоб не писать каждый раз | Empty -> failwith "empty"?

#fsharp #programming #russian

0

21.07.2017

3 ответов

20 просмотров

Oleg3 Zaimkin

Написать let value (Node(_,v,_,_,_)) = vНо тогда будет падать с исключением если Empty.

0

22.07.2017

gsomix

Можно match-блок выделить в отдельную функцию: https://gist.github.com/gsomix/ee4325a18422eb51f33b2b010d3b90c7 Empty и Node — это значения типа Heap. В F# нельзя описать тип, на который наложено ограничение в стиле "только значение Node из Heap". Для этого понадобилась бы зависимая типизация, если я правильно понимаю. P.S. Мне не особо нравятся функции-геттеры, особенно бросающие исключения. ;)

0

22.07.2017

Nikolay M · Accepted Answer

Nikolay M

Заверни код в '''

0

21.07.2017

169 похожих чатов

У меня вопрос к залу! type 'a heap =

3 ответов

Похожие вопросы