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

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

fprog_spb

286 membersпожаловаться на группу

2018 April 20

RD

Ruslan Dudin in fprog_spb

https://www.youtube.com/watch?v=gVLFGQGRsDw

Making 'Super Nario Bros.' in Haskell

I am making a jumping action game in Haskell. Environment: Windows/Cygwin, GHC 6.8.3, HSDL 0.2.0 Source codes are here: http://svn.coderepos.org/share/lang/h...

источник

16:50пожаловаться #1

RD

Ruslan Dudin in fprog_spb

Pavel Khritonenko

https://www.youtube.com/watch?v=JMP6gI5mLHc

Category Theory, The essence of interface-based design - Erik Meijer

Category Theory is the Mathematicians' interpretation of interface-based design, so whenever you hack together a new API in your favourite OO language, it is...

Сильно жоский видос? Для тех, кто формально категории не изучал в универе?

источник

17:01пожаловаться #2

PK

Pavel Khritonenko in fprog_spb

Он для нормальных людей как раз.

источник

17:01пожаловаться #3

RD

Ruslan Dudin in fprog_spb

🙌

источник

17:01пожаловаться #4

RD

Ruslan Dudin in fprog_spb

Вот этот мне зашёл норм: https://www.infoq.com/presentations/category-theory-propositions-principle

Category Theory for the Working Hacker

Philip Wadler on why category theory is relevant for developers, discussing the principle of Propositions as Types connecting propositions and proofs in logic, and types and programs in computing.

источник

17:01пожаловаться #5

RD

Ruslan Dudin in fprog_spb

к слову :) https://twitter.com/bodil/status/986718159888617473

☭🚀🐕 Bodil 🐕🚀☭

Google Photos reminding me that today is two years since #WADLERFEST, so happy birthday @PhilipWadler!

источник

17:02пожаловаться #6

n

neFormal in fprog_spb

https://www.youtube.com/watch?v=gVLFGQGRsDw

Making 'Super Nario Bros.' in Haskell

I am making a jumping action game in Haskell. Environment: Windows/Cygwin, GHC 6.8.3, HSDL 0.2.0 Source codes are here: http://svn.coderepos.org/share/lang/h...

типы там 10 из 10

источник

17:04пожаловаться #7

RD

Ruslan Dudin in fprog_spb

типы там 10 из 10

источник

17:10пожаловаться #8

RD

Ruslan Dudin in fprog_spb

в смысле, правда интересно, чо там с ними? )

источник

17:10пожаловаться #9

NR

Nzr Rbzv in fprog_spb

Вот этот мне зашёл норм: https://www.infoq.com/presentations/category-theory-propositions-principle

Category Theory for the Working Hacker

Philip Wadler on why category theory is relevant for developers, discussing the principle of Propositions as Types connecting propositions and proofs in logic, and types and programs in computing.

Филип Вадлер вообще неплох. Для любителей флрмального можно видеолекции Эводи.

источник

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

n

neFormal in fprog_spb

в смысле, правда интересно, чо там с ними? )

http://svn.coderepos.org/share/lang/haskell/nario/Images.hs

источник

17:10пожаловаться #11

MK

Maxim Koltsov in fprog_spb

Брагилевский же еще

источник

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

RD

Ruslan Dudin in fprog_spb

Филип Вадлер вообще неплох. Для любителей флрмального можно видеолекции Эводи.

источник

17:11пожаловаться #13

MK

Maxim Koltsov in fprog_spb

курс лекций по категориям лежит на ютубе

источник

17:11пожаловаться #14

RD

Ruslan Dudin in fprog_spb

http://svn.coderepos.org/share/lang/haskell/nario/Images.hs

теперь оценил 😂

источник

17:11пожаловаться #15

NR

Nzr Rbzv in fprog_spb

курс лекций по категориям лежит на ютубе

Нет смысла черпать не из источника.

источник

17:11пожаловаться #16

n

neFormal in fprog_spb

я только не поня, зачем ему сишный main ?

источник

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

RD

Ruslan Dudin in fprog_spb

я только не поня, зачем ему сишный main ?

такое ощущение будто у него хаскель из под сей запускается вручную

источник

17:15пожаловаться #18

RD

Ruslan Dudin in fprog_spb

а в нём R должен ещё быть

источник

17:15пожаловаться #19

n

neFormal in fprog_spb

>http://www.loveruby.net/ja/stdhaskell/samples/lazylines/FileUtils.hs.html
>loveruby

отоночо

источник

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