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

Эммм

00:18пожаловаться #1

Это как

00:18пожаловаться #2

и вообще почти любой язык с реифицированными концепциями

00:18пожаловаться #3

Высший порядок означает концепция над концепцией

00:18пожаловаться #4

https://en.wikipedia.org/wiki/Higher-order_programming

Wikipedia

Higher-order programming

Higher-order programming is a style of computer programming that uses software components, like functions, modules or objects, as values. It is usually instantiated with, or borrowed from, models of computation such as lambda calculus which make heavy use of higher-order functions.

00:18пожаловаться #5

НКТ - генерики для генериков

00:18пожаловаться #6

https://en.wikipedia.org/wiki/Higher-order_programming

Hirrolot

Wikipedia

Higher-order programming

programming а не language

00:19пожаловаться #7

это очень неформальный термин

00:19пожаловаться #8

Да поебать

00:19пожаловаться #9

Главное что звучит круто

00:19пожаловаться #10

polunin.ai

programming а не language

higher-order language is a language that supports higher-order programming

звучит логично не правда ли

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

polunin.ai

Главное что звучит круто

Сразу же преисполняешься

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

Hirrolot

higher-order language is a language that supports higher-order programming

звучит логично не правда ли

Нет

00:20пожаловаться #13

У F* бтв описание Higher-Order effectful programming language

00:20пожаловаться #14

polunin.ai

Нет

ты не прав

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

я прав

00:20пожаловаться #16

Hirrolot

У F* бтв описание Higher-Order effectful programming language

о чём свидетельствует это

00:21пожаловаться #17

алг эффекты через систему типов реифицируют концепции из реального мира

00:22пожаловаться #18

помню я упоролся и через языки программирования чертил отображения между интерпретациями реальностей людей

00:23пожаловаться #19

вообще я думаб это найдёт применение потом