Size: a a a

2021 April 29

EG

Emmanuel Goldstein in rust_offtopic
main = undefined
источник

R

Rextester in rust_offtopic
Errors:
a.out: Prelude.undefined
CallStack (from HasCallStack):
 error, called at libraries/base/GHC/Err.hs:79:14 in base:GHC.Err
 undefined, called at 755436563/source.hs:1:1 in main:Main


Tip:
Mistake? Edit your message, I'll adjust my response.
источник

[

[BRM]White Rabbit in rust_offtopic
Потому что того, кто не указывает типы лежащих на верхнем уровне функций, надо бить палкой.
В соответствии с этим прошу пройти, получить свои 5 ударов.
источник

EG

Emmanuel Goldstein in rust_offtopic
То есть того, кто кладёт undefined в основной путь не надо, а того, кто не проставляет тип на функции, тип которой и так все знают — надо?
источник

[

[BRM]White Rabbit in rust_offtopic
ну, у меня тип IO (), а у тебя тип a
источник

[

[BRM]White Rabbit in rust_offtopic
но вообще, я свои 5 ударов получил
источник

R

Rextester in rust_offtopic
Ok, give me some Haskell code to execute
источник

EG

Emmanuel Goldstein in rust_offtopic
То есть замечательным образом подходит под IO ()
источник

[

[BRM]White Rabbit in rust_offtopic
как и под любой другой тип, да
источник

[

[BRM]White Rabbit in rust_offtopic
Я запрещаю вам наследовать реализацию
источник

[

[BRM]White Rabbit in rust_offtopic
Seems like spam
источник

KR

Kai Ren in rust_offtopic
вот внедрят chalk, тогда и поговорим
источник

KR

Kai Ren in rust_offtopic
Когда стабилизируют never type?
источник

EG

Emmanuel Goldstein in rust_offtopic
Дык
Всё в названии же написано
источник

[

[BRM]White Rabbit in rust_offtopic
когда-нибудь из раста сделают хаскель
источник

EG

Emmanuel Goldstein in rust_offtopic
Да не. Когда-нибудь из хаскелля сделают раст.
источник

KR

Kai Ren in rust_offtopic
Но never type ведь стабилизуруют когда-то, да?
источник

EG

Emmanuel Goldstein in rust_offtopic
Он что, по-твоему, называется somewhen type?
источник

EG

Emmanuel Goldstein in rust_offtopic
Нет.
источник

EG

Emmanuel Goldstein in rust_offtopic
Он называется never type.
источник