А как я могу в хаскеле определить функцию которая будет

Question

Haskell Start

Anton

А как я могу в хаскеле определить функцию которая будет

принимать только четные числа? хочу проверки на этапе компиляции

#haskell #programming #russian

0

24.05.2023

7 ответов

23 просмотра

Критерий Вычисλимости

newtype Even = Even Int toInt (Even n) = n * 2 fromInt n = if mod n 2 /= 0 then error "Can't construct Even" else Even $ n / 2 foo : Even -> ... foo n = ... $ toInt n чётность гарантируется. хотя можно даже без деления

0

24.05.2023

void

Danil Berestov
> :set -XScopedTypeVariables > :set -XDataKinds ...

type family Even (n :: Nat) where Even 0 = 'True Even 1 = 'False Even n = Even (n - 2) Можно такой самопал, но он ломается на больших чиселках (даже не знаю, как его исправить, не прибегая к помощи GHC.TypeLits)

0

24.05.2023

Nutritional Rabbit

Критерий Вычисλимости
newtype Even = Even Int toInt (Even n) = n * 2 fro...

Нет, конечно не гарантируется, чётность оригинального числа никто не энфоосит

0

25.05.2023

Критерий Вычисλимости

Nutritional Rabbit
Нет, конечно не гарантируется, чётность оригинальн...

точно так же, как при построении рафинированного значения

0

25.05.2023

Nutritional Rabbit

Критерий Вычисλимости
точно так же, как при построении рафинированного з...

нет

0

25.05.2023

кана

Критерий Вычисλимости
newtype Even = Even Int toInt (Even n) = n * 2 fro...

лучший вариант

0

25.05.2023

Danil Berestov · Accepted Answer

> :set -XScopedTypeVariables > :set -XDataKinds > :set -XTypeFamilies > :set -XAllowAmbiguousTypes > :m + GHC.TypeLits > type IsEven n = Mod n 2 ~ 0 > foo :: forall n. (KnownNat n, IsEven n) => Integer; foo = natVal (Proxy @n) + 1 > foo @6 7 > foo @7 <interactive>:40:1: error: • Couldn't match type ‘1’ with ‘0’ arising from a use of ‘foo’ • In the expression: foo @7 In an equation for ‘it’: it = foo @7

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

А как я могу в хаскеле определить функцию которая будет

7 ответов

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