@fsharp_flood - страница 327

Anonymous

это радует :)

Anonymous

https://www.youtube.com/watch?v=fQ_onXEL5mI

Anonymous

https://www.youtube.com/watch?v=dR3XTdEeWtE

Anonymous

https://www.youtube.com/watch?v=pJp5rSrxck4

Anonymous

;)

Igor

Чувствую что не вовремя, но все таки, кто-нибудь может объяснить почему ответ не 1 или 2 https://i.gyazo.com/ca28c78c8e7e2af409f1b95b790981ac.png

Anonymous

https://www.youtube.com/watch?v=ecgA7I2Zixs

Anonymous

;)

Pavel

Чувствую что не вовремя, но все таки, кто-нибудь может объяснить почему ответ не 1 или 2 https://i.gyazo.com/ca28c78c8e7e2af409f1b95b790981ac.png

правильный ответ бесконечность?

Igor

Надо ввести число

Igor

Anonymous

правильный ответ бесконечность?

42

Pavel

логично

Anonymous

:)

Hog

не понятно a и б - это типы?

Hog

задачка на карринг

Hog

a -> (a -> (b -> (a -> a))

Hog

4 прокатит?

Pavel

(возможно) правильный ответ 3

Hog

почему 3?

Pavel

я в хаскельной наркомании не силен. понятия не имею https://github.com/rgordeev/functional_programming_in_haskell/blob/master/lection2/step2.1.4.md

Pavel

как по мне можно сколь угодно реализовать

Igor

задачка на карринг

Так результат же один и тот же будет, а надо разный. Имхо тут фишка, что функция полиморфна и есть 4 аргумента одного типа и один другого.

Igor

я в хаскельной наркомании не силен. понятия не имею https://github.com/rgordeev/functional_programming_in_haskell/blob/master/lection2/step2.1.4.md

Ну покажи хотя бы 4 разных

Igor

Hog

a -> (a -> b -> a -> a) (a -> a) -> (b -> a -> a) (a -> a -> b) -> (a -> a) (a -> a -> b -> a) -> a

Pavel

Ну покажи хотя бы 4 разных

переведи сначала на человечий "Две функции одинаковой арности считаются разными, если существует набор значений их аргументов, на котором они дают разные результирующие значения."

Igor

переведи сначала на человечий "Две функции одинаковой арности считаются разными, если существует набор значений их аргументов, на котором они дают разные результирующие значения."

Ну вот сколько возможных реализаций у функции: a -> a ?

Pavel

id и (+)1 разные реализации функции одиноковой арности при разных аргументах дают разные результаты. я их сколь угодно могу сделать

Igor

a -> (a -> b -> a -> a) (a -> a) -> (b -> a -> a) (a -> a -> b) -> (a -> a) (a -> a -> b -> a) -> a

По моему ты скобками поменял сигнатуру у фукции (кроме первого случая тк в f#/haskell есть авто-карирование)

Hog

unit -> unit

Hog

По моему ты скобками поменял сигнатуру у фукции (кроме первого случая тк в f#/haskell есть авто-карирование)