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

Кок и аренд да

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

(

Ты же в курсе, что для Идриса биндинги в опенгл есть?

20:53пожаловаться #2

(

Даже в вулкан

20:53пожаловаться #3

(

Сомнительного качества и велью конечно, но хоть что-то

20:53пожаловаться #4

наличие биндингов не делает язык использованным для дела

20:53пожаловаться #5

(

Не делает

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

(

Потому что никто не пытался

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

(

Но возможность есть

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

ну сходи круд напиши с формальной верификацией.

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

(

Базару ноль

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

(

Давно собираюсь это сделать

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

(

Я правда хуй знает, что там верифицировать

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

у идрисни интероп с х-лем есть?

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

(

С жсом, си и жавой

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

(

Из тех, что поддерживаются и не сосут писос

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

что for all user: user.name.length < 10

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

не знаю

20:55пожаловаться #17

(

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

20:56пожаловаться #18

(

Не цитируйте меня

20:56пожаловаться #19

(

Хуйня какая-то