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

Quantum Harmonizer in Programming Offtop

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

QH

tapir, or Typed API descRiptions. Contribute to softwaremill/tapir development by creating an account on GitHub.

@Harmonizr во, вот так хочу в котлине

val booksListing: Endpoint[(BooksFromYear, Limit, AuthToken), String, List[Book], Nothing] = endpoint
    .get
    .in(("books" / path[String]("genre") / path[Int]("year")).mapTo(BooksFromYear))
    .in(query[Int]("limit").description("Maximum number of books to retrieve"))
    .in(header[String]("X-Auth-Token"))
    .errorOut(stringBody)
    .out(jsonBody[List[Book]])

отправка:

val booksListingRequest: Request[Either[String, List[Book]], Nothing] = booksListing
  .toSttpRequest(uri"http://localhost:8080")
  .apply(BooksFromYear("SF", 2016), 20, "xyz-abc-123")

если чё https://github.com/softwaremill/tapir

GitHub

softwaremill/tapir

Офигенная идея с оператором деления, спасибо

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

AL

Т.е. конкретно тут даже без произвольных кастомных операторов можно жить (хотя наверное тебя могут сильно пнуть за использование div как просто "слеш удобно юзать")

11:55пожаловаться #3

AL

вроде тайп-фемили только нужны, чтобы типы эффективно траверсить

Давай минимальный вариант ещё посмотрим, может всё в кодген можно отправить, лол

12:01пожаловаться #4

AL

Т.е. in должен расширять список параметров. Сейчас это засчёт имплиситов держится вроде, можно 22+ экстеншна накинуть, лол, больше параметров никому не надо.
/ должен структуру обобщённую расширять. Также делаем 22+ функции.
mapTo должен уметь конвертить обобщённую структуру в конкретную. Говорим, что литерал тайпы нужны (иначе нетипобезопасно как-то), а конвертация должна быть сгенерена заранее в классе.

@happy_bracket что там ещё неочевидного заковыристого?

12:05пожаловаться #5

AM

Т.е. конкретно тут даже без произвольных кастомных операторов можно жить (хотя наверное тебя могут сильно пнуть за использование div как просто "слеш удобно юзать")

Хз, постоянно обмазываю работу с FS слешами-дивами

12:05пожаловаться #6

(

( in Programming Offtop

Давай минимальный вариант ещё посмотрим, может всё в кодген можно отправить, лол

больше никому не надо (битрикс выглядывает из-за угла)

12:05пожаловаться #7

AL

больше никому не надо (битрикс выглядывает из-за угла)

Выстави в грейдл конфиг чиселку на количество генерённых функций

12:06пожаловаться #8

(

( in Programming Offtop

Т.е. in должен расширять список параметров. Сейчас это засчёт имплиситов держится вроде, можно 22+ экстеншна накинуть, лол, больше параметров никому не надо.
/ должен структуру обобщённую расширять. Также делаем 22+ функции.
mapTo должен уметь конвертить обобщённую структуру в конкретную. Говорим, что литерал тайпы нужны (иначе нетипобезопасно как-то), а конвертация должна быть сгенерена заранее в классе.

@happy_bracket что там ещё неочевидного заковыристого?

да это всё можно сделать, просто потом Endpoint<...> должен суметь выставить метод call, в котором все те параметры перечислены

12:07пожаловаться #9

d

tapir, or Typed API descRiptions. Contribute to softwaremill/tapir development by creating an account on GitHub.

@Harmonizr во, вот так хочу в котлине

val booksListing: Endpoint[(BooksFromYear, Limit, AuthToken), String, List[Book], Nothing] = endpoint
    .get
    .in(("books" / path[String]("genre") / path[Int]("year")).mapTo(BooksFromYear))
    .in(query[Int]("limit").description("Maximum number of books to retrieve"))
    .in(header[String]("X-Auth-Token"))
    .errorOut(stringBody)
    .out(jsonBody[List[Book]])

отправка:

val booksListingRequest: Request[Either[String, List[Book]], Nothing] = booksListing
  .toSttpRequest(uri"http://localhost:8080")
  .apply(BooksFromYear("SF", 2016), 20, "xyz-abc-123")

если чё https://github.com/softwaremill/tapir

GitHub

softwaremill/tapir

*божественно*

12:08пожаловаться #10

AL

Andrew Mikhaylov

Хз, постоянно обмазываю работу с FS слешами-дивами

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

12:09пожаловаться #11

AM

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

Всегда есть люди, которые готовы это абьюзить 🤷‍♂
Как по мне, главное, чтобы после взгляда на код с использованием оператора без заглядывания в его доку / код было понятно, что происходит. Слеш при работе с путями под это попадает, крестовый >> на стримах и подобном нет (ну кроме как для людей с бекграундом в крестах, конечно).

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

d

Scientists Find The First Animal That Doesn't Need Oxygen to Survive

Scientists Find The First Animal That Doesn't Need Oxygen to Survive
https://www.sciencealert.com/scientists-find-the-first-animal-that-doesn-t-need-oxygen-to-survive

ScienceAlert

Some truths about the Universe and our experience in it seem immutable. The sky is up. Gravity sucks. Nothing can travel faster than light. Multicellular life needs oxygen to live. Except we might need to rethink that last one.

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

d

No shit это Нобелевка

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

AN

Alexander Nozik in Programming Offtop

dimiii

Обидно, когда язык дизайнят оглядываясь на текстовый редактор, да?

Да, а фонарики надо дизайнить опираясь на динамо-машину, потому что батарейки - это вендор лок.

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

AN

Alexander Nozik in Programming Offtop

Literal types вроде нужен ещё, нет?

Очень ограничено. И на самом деле довольно легко эмулируется там, где его нет

12:41пожаловаться #16

AM

Alexander Nozik

Да, а фонарики надо дизайнить опираясь на динамо-машину, потому что батарейки - это вендор лок.

Не совсем точная аналогия, всё же на батарейки есть стандарт.

12:41пожаловаться #17

d

Alexander Nozik

Да, а фонарики надо дизайнить опираясь на динамо-машину, потому что батарейки - это вендор лок.

Вообще прозрачная аналогия

12:42пожаловаться #18

AM

На IDE из популярных стандартов я пока только LSP видел, и тот всё равно на вендор-лок тянет.

12:42пожаловаться #19

AN

Alexander Nozik in Programming Offtop

Andrew Mikhaylov

Не совсем точная аналогия, всё же на батарейки есть стандарт.

Первое, что в голову пришло. Но уверен, что можно придумать более точную аналгоию. На самом деле на вскоде тоже можно на котлин вполне писать. Просто проектировать языки без учета IDE - это странно