что тут плохого не совсем понятно, в хаскеле все двумя способами делается и в окамле тоже есть недорекорды и перерекорды

но тогда посчитали что это как-то нехорошо

тогда сделали пропозал, в котором трекс интегрируется в хаскель, но это меняло значительную часть хаскельного синтаксиса

помимо точки , напрмер () заменялся на пустой рекорд {} и т.д.

естественно это все не прошло и хаскель так и остался с недорекордами на десятилетия

/thread

полагаю, так и останется из-за обратной совместимости

Вот курс, надо которым я работаю. Правда, задания на русском и на самом курсе их нет, только студенты видят. К тому же, пока ещё задания не самые идеальные. https://github.com/jagajaga/FP-Course-ITMO

в итмо преподают хаскель?? с каждым днём все больше нравится этот вуз

там и идрис на последних лекциях, я с этого очень офигел

вообще вся суть того пропозала была какая-то бредовая.

там и идрис на последних лекциях, я с этого очень офигел

этот вообще только на слуху, ни строчки кода не видел

т.е. они максимально переделывали TRex (на работающий трекс любопытствующие могут посмотреть в хагсе) под вид недорекордов, но при этом меняли частично остальной синтаксис

но смысл-то в чем?

не проще ли поменять более новую часть про рекорды, которой тогда была пара лет, а то что до этого годами было не менять?

но нет

при том что синтаксис для рекордов до этого меняли

там и идрис на последних лекциях, я с этого очень офигел

Идрис вообще ещё на теории типов есть (и теория типов ещё есть, да)

Идрис вообще ещё на теории типов есть (и теория типов ещё есть, да)

какие-же у вас хорошие университеты есть

правильно я понимаю, что всю программу продвигали ребята из Серокеля (Арсений, Дима), так что это не совсем заслуга универов

ну я так думаю что ребята вышли оттуда сами

правильно я понимаю, что всю программу продвигали ребята из Серокеля (Арсений, Дима), так что это не совсем заслуга универов

До Серокила преподаватель хаскеля был еще жестче

и наверняка их чему-то хорошему там научили

Ну вообще в итмо/кт большая часть преподавателей практических вещей — это выпускники кт.

Так что они и составляют универ/кафедру.

Курс по ТТ никакого отношения к серокеłł не имеет например (почти)

Бтв спрошу — есть ли где-нибудь список хороших магистерских программ по рф/eu?

в итмо преподают хаскель?? с каждым днём все больше нравится этот вуз

Это не от универа зависит. Скорее отдельные преподаватели

ясненько

На моем потоке из ~100 студентов (2013) всего 3 проходило без олимпиад (по егэ), как сейчас не знаю.

Так что это не мем, а просто выборка из eps людей

У нас только 1 человек по егэ прошел

сложно наверное будет участвовать в олимпиадах если живёшь не в мск

в следующем году могут порезать олимпиады и проходной упадет

сложно наверное будет участвовать в олимпиадах если живёшь не в мск

они должны проводиться во всех крупных городах, не?

в следующем году могут порезать олимпиады и проходной упадет

олимпиадникам 300 зачисляют?

они должны проводиться во всех крупных городах, не?

финалы же вроде в мск

ну на финал-то можно съездить

слетать*

олимпиадникам 300 зачисляют?

В прошлых годах если есть олимпиада определенного уровня то у тебя поступление идет как "Без вступительных испытаний."

сложно наверное будет участвовать в олимпиадах если живёшь не в мск

часто оплачивают проживание, где-то и дорогу оплачивают, наверное

в следующем году могут порезать олимпиады и проходной упадет

уже порезали

сложно наверное будет участвовать в олимпиадах если живёшь не в мск

кстати хз как в других универах, но в моём олимпиада была исключительно как доп бюджет ну мб экономия на общагах, но это как-то слишком

сложно наверное будет участвовать в олимпиадах если живёшь не в мск

скорее, если далеко до какого-нибудь города-миллионика

екб подходит наверное

уже порезали

?

?

раньше брали с олимпиадой ИТ теперь с олимпиадой ИТ только победитель а вообще это надо просто прогуглить

хотя ИТ — 1 уровень информатики

екб подходит наверное

ну я из челябинска норм поступил

никуда не выезжая

ладно, погодите. речь про всероссийские олимпиады? а какие условия? по всем трём целевым предметам нужно занять место не ниже энного?

ладно, погодите. речь про всероссийские олимпиады? а какие условия? по всем трём целевым предметам нужно занять место не ниже энного?

про олимпиады школьников

это != всеросийские

раньше брали с олимпиадой ИТ теперь с олимпиадой ИТ только победитель а вообще это надо просто прогуглить

хз я прошел с олимпиадой по физике лол

российские*

хз я прошел с олимпиадой по физике лол

ну я про следующий год

который ещё не наступил

повезло 🤷‍♀️

ну в школе я участвовал в школьная - районная - областная (в норм школах эти этапы пропускались) и дальше российская

какие из этих шагов котируются?

какие из этих шагов котируются?

для поступления обычно только всеросс

4 наверное, федеральная

4 наверное, федеральная

в 2010м после ленобласти сразу хантымансийск ехали, так что про федеральный этап не слышал

так

4 этапа: школьная, городская, областная, федеральная

да?

если федеральный = финальный = всероссийский, то да

а у нас ЕГ ещё не было..

/me правда все равно по олимпиаде прошёл

Почему ghc/cabal начали надо мной издеваться и кидать такие ошибки при попытке установки чего угодно? $ cabal install cabal-install ... Distribution/Client/Compat/Semaphore.hs:10:1: error: Could not find module ‘Control.Concurrent.STM’ There are files missing in the ‘stm-2.4.4.1’ package, try running 'ghc-pkg check'. Use -v to see a list of the files searched for. | 10 | import Control.Concurrent.STM (TVar, atomically, newTVar, readTVar, retry, | В то время как $ cabal install stm Resolving dependencies... All the requested packages are already installed: stm-2.4.4.1 Use --reinstall if you want to reinstall anyway. И так с разными пакетами. Даже с Prelude было. Переустанавливать из AUR ghc и cabal install пробовал

ghc-pkg check выдает миллион таких сообщений: Warning: haddock-interfaces: /home/rasiel/.cabal/share/doc/x86_64-linux-ghc-8.2.1/hscolour-1.24.1/html/hscolour.haddock doesn't exist or isn't a file Warning: haddock-html: /home/rasiel/.cabal/share/doc/x86_64-linux-ghc-8.2.1/hscolour-1.24.1/html doesn't exist or isn't a directory

Я бы предложил нюкнуть .cabal

+

и .ghc

Не вышло. Количество ошибок было больше, когда снёс всё, поставил ghc и cabal-install, но не устанавливал ghc-static

Тогда на отсутствие Prelude даже ругалось, сейчас только STM

и .ghc

Так, она же в домашней директории должна быть? Сейчас нету

Реально написать десктопное приложение на Хаскелле?

Ну это странное IDE же написали. Значит можно