Size: a a a

F# Flood: кибербабулинг башкиров

2020 September 25

DB

Denis Bobrov in F# Flood: кибербабулинг башкиров
idris2
источник

DB

Denis Bobrov in F# Flood: кибербабулинг башкиров
и вообще, как же такие замечательные вещи как Vale
источник

DB

Denis Bobrov in F# Flood: кибербабулинг башкиров
источник

((

(fun () -> ()) in F# Flood: кибербабулинг башкиров
F* забыли
источник

DB

Denis Bobrov in F# Flood: кибербабулинг башкиров
ну это баян
источник

S

Sergey in F# Flood: кибербабулинг башкиров
(fun () -> ())
Моднее Хаскеля ничего не может быть
Агда
источник

K

Kekusarius in F# Flood: кибербабулинг башкиров
Viacheslav Koryagin
Idris/Agda/Coq?
что-то такое тибетские монахи используют
источник

VK

Viacheslav Koryagin in F# Flood: кибербабулинг башкиров
Kekusarius
что-то такое тибетские монахи используют
У тибетских монахов случился нервный срыв во время настройки среды под это дело
источник

VP

Vasiliy Pereverzev in F# Flood: кибербабулинг башкиров
источник

R

Roman in F# Flood: кибербабулинг башкиров
Kekusarius
Что щас модно?
F# + Fable
источник

R

Roman in F# Flood: кибербабулинг башкиров
Denis Bobrov
ну тогда бери reasonml и deno
в чем суть этого deno? что значит "secure runtime for js"?
источник

X

XÆA-XII in F# Flood: кибербабулинг башкиров
(fun () -> ())
Моднее Хаскеля ничего не может быть
Монаднее*
источник

DB

Denis Bobrov in F# Flood: кибербабулинг башкиров
Roman
в чем суть этого deno? что значит "secure runtime for js"?
Не знаю, не юзал, просили модно
источник

DB

Denis Bobrov in F# Flood: кибербабулинг башкиров
secure наверное потому что на расте а не на плюсах
источник

K

Kekusarius in F# Flood: кибербабулинг башкиров
Denis Bobrov
secure наверное потому что на расте а не на плюсах
а ещё там вместо npm при использовании либ нужно явно указывать урл на пакет
источник

K

Kekusarius in F# Flood: кибербабулинг башкиров
подразумевается что это тоже секурно
источник

K

Kekusarius in F# Flood: кибербабулинг башкиров
но я npm побольше верю, чем рандомному репозиторию
источник

S

Sergey in F# Flood: кибербабулинг башкиров
Roman
в чем суть этого deno? что значит "secure runtime for js"?
Rewrite it in rust (c)
источник

sK

serj Kim in F# Flood: кибербабулинг башкиров
Roman
в чем суть этого deno? что значит "secure runtime for js"?
Мол тайпскрипт из коробки. А так движ тот же v8, только эвентлуп не libuv, а какой-то свой на расте писаный. Но вот идея импортить сырцы по урлу  крайне сомнительная.  Мне вот GraalVm импонирует больше, там пацаны серьезней подошли.
источник

K

Kekusarius in F# Flood: кибербабулинг башкиров
serj Kim
Мол тайпскрипт из коробки. А так движ тот же v8, только эвентлуп не libuv, а какой-то свой на расте писаный. Но вот идея импортить сырцы по урлу  крайне сомнительная.  Мне вот GraalVm импонирует больше, там пацаны серьезней подошли.
graalvm же не работает
источник