Size: a a a

2020 March 15

G

Gymmasssorla in rust_offtopic
Вафель
А в идрис зачем  определение нужно генерить?
Думаю это из-за синтаксиса, т.к. он такое позволяет:
// Объявление
foo : MyEnum -> Int

// Определения
foo MyEnum1 = 1
foo MyEnum2 = 2
foo MyEnum3 = 3
источник

G

Gymmasssorla in rust_offtopic
enum MyEnum {
   MyEnum1,
   MyEnum2,
   MyEnum3
}
источник

В

Вафель in rust_offtopic
Вафель
Ну идея умеет все  варианты енама в матч подставлять
Если что, alt+enter -> fill match arms
источник

G

Gymmasssorla in rust_offtopic
👍
источник

G

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

G

Gymmasssorla in rust_offtopic
WinApi там нет
источник

G

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

G

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

p

polunin.ai in rust_offtopic
Gymmasssorla
WinApi там нет
Он отдельным крейтом
источник

G

Gymmasssorla in rust_offtopic
Да, я в курсе
источник

p

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

G

Gymmasssorla in rust_offtopic
Я про то, что хотят, то и пихают в libc?
источник

p

polunin.ai in rust_offtopic
Gymmasssorla
Я про то, что хотят, то и пихают в libc?
Просто ментейнер сидит на линуксе, вот и пилит сисколлы линукса)
источник

G

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

p

polunin.ai in rust_offtopic
Хз, не ко мне вопрос
источник

p

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

G

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

G

Gymmasssorla in rust_offtopic
polunin.ai
А там сисколы скрыты под фичей "Линукс" или сразу доступны?
Сразу доступны
источник

G

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

p

polunin.ai in rust_offtopic
Gymmasssorla
Просто хотел сделать сырой FFI интерфейс к Idris и задался таким вопросом
Тебе делать нечего?
источник