простая система типов нехило поможет в обучении

как человек, который не умеет писать код ВООБЩЕ сразу начнет писать код без ошибок типов и без помощи компилятора?

Что значит без компилятора?

И без помощи?

Ну вот в МИТ учат на питоне

Судя по моим наблюдениям

это аргумент?

Вполне успешно

а я вот не учу на питоне

Ну у них там есть статьи почему питон

У мит и у Беркли

Последние кстати sicp на питоне сделали

Но не суть

нет, я прекрасно понимаю, почему питон хорошо подходит для обучения

но в этом случае люди идут на небольшие уступки

и отказываются от подсказок компилятора о том, что типы неверные

и простота языка перевешивает

и отказываются от подсказок компилятора о том, что типы неверные

Я тут одно скажу

сколько там процентов от типизации по борьбе с багами профита?

по всяким рисерчам

что-то в районе 10%

если я правильно помню

уж учитывая всю область кампуктер саенса, 10% чтобы строчку с числом не путать это не самое важное в обучении

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

даже опытному программисту

это конечно не кейс, но нюфаги от перегруженного языка еще больше взвоют

Пистон не позволяет складывать строку с числом, а в новых версиях есть опциональное объявление типов

Пистон не позволяет складывать строку с числом, а в новых версиях есть опциональное объявление типов

тем более бтв, он же строгий

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

объявление типов там ничего не делает

кроме документации

объявление типов там ничего не делает

Нонче почти все питонщики юзают иде

А иде ругается

Этого хватает

бтв да, проблема эта решается тем, что ты пишешь в джетбрейнс

лол

закидывая свой студак или школу

бесплатно без смс

Алсо

Смотря чо ваще понимать под обучением

Начальное знакомство в школе или курс в унике на профильной спецухе

Школьникам надо, шоб накалякал и сразу получил результат

А скубентов на технических спецухах можно ебать сколько угодно

Можно дать им форт, книжку по типам и в качестве задания – реализовать вменяемую систему типов

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

Ну или четыре, если бакланавриат

http://www.hansdieterhiep.nl/tutorials/debugging-church-numerals-in-haskell/

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

У меня это проделывали каждый семестр раз за разом %)

К последнему курсу уже перестал удивляться очередному "а теперь, лошпеды, вы будете программировать нейропроцессоры"

так, решил поменять mtl на расширяемые эффекты

погуглил основные имплементации (главная блять проблема - их очень много, штук 10 наверное), все какие-то заброшенные год назад

кроме extensible-effects, она недавно обновилась

конечно все эти эмуляции рядового полиморфизма (лол, обожаю этот термин на русском) через констрейты выглядят очень криво

особенно когда откосить успел

Кайн убил Авеля чтобы откосить

Я популярен

:3

я пришел к выводу что самые красивые языки - лиспы

+

Как заматчить из redux-act' овского ComplexActionCreator interface ComplexActionCreator1<Arg1, P, M={}> extends BaseActionCreator<ComplexActionCreator<P, M>> { (arg1: Arg1): Action<P, M>; raw(arg1: Arg1): Action<P, M>; } в of ofType(...key: string[]): ActionsObservable<T> чтобы тип был ActionsObservable<Action<P, M>>

Бля дилема дня у меня

В ofType() у нас уже FSA , а передавать приходится как ComplexActionCreator1 export const testConfirmsEpic: Epic<any/*Нахер мне тут any*/, RootState> = (action$) => action$ .ofType(actionCreators.showConfirm.getType())

Типа ap что то нужно

ERROR: S client not available

Хороший коммент

redux-act в middleware кароче не заматчить тип FSA а не ActionCreator1 никак кажись

ска десятый раз чайник завариваю чтобы это уже осознать окончательно

лол

@ZeroBias Ты most вместе с act'ом используешь ?

да

ща гляну там как .ofType выглядит

во action$.thru

Я чет не понял что ты делаешь

"нахер мне тут any" можно не писать если в тслинте включить no-any

или это типо disable line

Ну то есть мы ведь в redux-act от констант стринговых избавляемся , ну и вот передать приходится соответственно const action = createAction("заебался уже", (args) => ({args})) action$ .ofType(action.getType()) .map() И так как тайп строка - то внутри мап у меня TS говорит что строка

Вернее Observable<string>. Но а на деле то там Observable<Action<P>>

Чёт у тебя как-то мудрёно всё

Я половину этих функций вообще в глаза не видел ни разу

ofType(...key: string[]): ActionsObservable<T>; - это в redux-observable Я просто бегло глянул в most там позожая это thru

Я вообще не завязываюсь на строки

Они в буквальном смысле вообще не участвуют в выводе типа)

А можешь показать? Ты ведь ComplexActionCreator вернувшийся от createAction(..) прям передаешь в свой какой то метод получается вместо thru ?

thu юзается в любом случае, как минимум под капотом

Кажется пришла пора делать свой act

А ну понял в общем сначало чтобы не завязываться на строки свой метод. А далее уже thru

Ну вот что все понятно

Пойду делать redux-observable-redux-act-FSA

Ключевое не просто "не завязываться на строки"

Ключевое то, что тип определяется именно через payload

ска десятый раз чайник завариваю чтобы это уже осознать окончательно

Совет для начинающих изучать редакс — используйте режим поддержки температуры в чайнике

кроме extensible-effects, она недавно обновилась

http://okmij.org/ftp/Haskell/extensible/tutorial.html начинаю читать и тут такой тон как будто эффекты это скорее замена монадам и ещё речь идёт строго о побочных эффектах так эта либа больше про замену мтл или замену ио?

о, эти эффекты могут быть algebraic-, extensible- интересно насколько это разные штуки

коэффекты