Телеграмм чат группы haskellru страница 15641

кана

что будет если передать туда пустой список?

empty list exception

15:51пожаловаться #1

то есть для любого списка, кроме как из трех элементов, должен быть эксепшен?

15:51пожаловаться #2

и такую функцию на каждую длину?

15:52пожаловаться #3

Ну тут рефлексию надо, т.к. надо узнать сигнатуру в рантайме и достать n-е кол-во элементов из списка

15:52пожаловаться #4

Звучит не очень

15:52пожаловаться #5

GNU/Vsevolod

Ну тут рефлексию надо, т.к. надо узнать сигнатуру в рантайме и достать n-е кол-во элементов из списка

В рантайме нет типов

15:52пожаловаться #6

GNU/Vsevolod

Ну тут рефлексию надо, т.к. надо узнать сигнатуру в рантайме и достать n-е кол-во элементов из списка

зачем сигнатуру в рантайме доставать

15:52пожаловаться #7

Ilya Kos

В рантайме нет типов

Что тогда в Data.Reflection?

15:52пожаловаться #8

И как парсится json?

15:52пожаловаться #9

Ну т е это можно через тайпкласс просто сделать

15:53пожаловаться #10

кана

зачем сигнатуру в рантайме доставать

Чтобы достать нужное кол-во элементов из списка

15:53пожаловаться #11

а как определить, (a -> a -> a -> b) это функция для списка из трех элементов в b, или функциях из двух элементом в a -> b

15:54пожаловаться #12

GNU/Vsevolod

Чтобы достать нужное кол-во элементов из списка

так тип функции же известен статически

15:54пожаловаться #13

всегда

15:54пожаловаться #14

class Foo f a b | f -> a b where apply :: [a] -> f -> b

15:54пожаловаться #15

Что-то такое

15:54пожаловаться #16

И через тайпфемили понять какой инстанс нужен

15:54пожаловаться #17

Ilya Kos

class Foo f a b | f -> a b where apply :: [a] -> f -> b

И это наверное не совсем правда

15:54пожаловаться #18

Но звучит как что-то что мы не очень хотим делать

15:55пожаловаться #19

кана

а как определить, (a -> a -> a -> b) это функция для списка из трех элементов в b, или функциях из двух элементом в a -> b

Либо кидать ексепшн, либо частичное применение