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

Вафель

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

Думаю это из-за синтаксиса, т.к. он такое позволяет:

// Объявление
foo : MyEnum -> Int

// Определения
foo MyEnum1 = 1
foo MyEnum2 = 2
foo MyEnum3 = 3

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

enum MyEnum {
    MyEnum1,
    MyEnum2,
    MyEnum3
}

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

Вафель in rust_offtopic

Вафель

Ну идея умеет все варианты енама в матч подставлять

Если что, alt+enter -> fill match arms

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

👍

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

Я так понимаю, в libc случайные системные функции пихают?

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

WinApi там нет

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

Но всякие сисколлы Линукса есть

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

Функции из стандартной библиотеки Си ещё туда засунули

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

Gymmasssorla

WinApi там нет

Он отдельным крейтом

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

Да, я в курсе

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

There's an old joke that computer science is a lie, because its not really about computers, and its not really a science. Funny joke. Everyone laughs, then someone says "Yeah but it sort of is about computers though, isn't it?". Feet shuffle awkwardly. Someone clears their throat and before you

https://josephg.com/blog/3-tribes/amp/ как думаете, Раст к какой группе относится?

Seph

3 tribes of programming

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

Я про то, что хотят, то и пихают в libc?

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

Gymmasssorla

Я про то, что хотят, то и пихают в libc?

Просто ментейнер сидит на линуксе, вот и пилит сисколлы линукса)

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

То есть систематизации нет никакой в libc?

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

Хз, не ко мне вопрос

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

А там сисколы скрыты под фичей "Линукс" или сразу доступны?

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

Просто хотел сделать сырой FFI интерфейс к Idris и задался таким вопросом

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

polunin.ai

А там сисколы скрыты под фичей "Линукс" или сразу доступны?

Сразу доступны

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

Если ты на Линукс, конечно

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

Gymmasssorla

Просто хотел сделать сырой FFI интерфейс к Idris и задался таким вопросом

Тебе делать нечего?