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

Я советую хаскель потому что по нему больше всего инфы в интернете типа вопросов на стековерфлоу, либ много и прочего)

23:45пожаловаться #1

23:45пожаловаться #2

ну сижу в @rust_offtopic, а что?

23:46пожаловаться #3

https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ

Zависимые типы в массы!

https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ

Idris Slack (EN): #idris @ https://fpchat-invite.herokuapp.com/

Idris1 online REPL: tio.run/#idris

Topics: dependent types, theorem proving, formal verification. Please refrain from using stickers/memes.

23:46пожаловаться #4

Не, ну прикладную штуку я лучше на Си буду писать, а фп для поиграться

23:46пожаловаться #5

Там сделай поиск по чату, много литературы накидано

23:46пожаловаться #6

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

23:47пожаловаться #7

ага, тогда почекаю

23:47пожаловаться #8

Ну и плюс я выше по чату писал 3 книги

23:47пожаловаться #9

Хз, у меня даже книжка скачана от орайли именно по окамле

23:48пожаловаться #10

По коку есть вот всё то что kai написал

23:48пожаловаться #11

Переслано от Kai Ren

type driven development in idris
little typer
type theory and formal proof

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

https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ

Переслано от Kai Ren

Zависимые типы в массы!

23:48пожаловаться #13

кста как там TemplateHaskell

23:48пожаловаться #14

gо

goldstein опять in rust_offtopic

@rust_offtopic это чат про стандарт C, ты не путай

23:49пожаловаться #15

он вообще хорош или не?

23:49пожаловаться #16

i_inderstand_now.mp4

(979.79 Кб)

23:50пожаловаться #17

я думал про истинные плюсы

23:50пожаловаться #18

Металанг еще не приняли как стандарт кста?)))

23:50пожаловаться #19

а чо с TemplateHaskell