Ну... у нас есть только 12 лет переписать все ПО на Idris, иначе man made global mutable уничтожит все БД на планете. О внуках подумайте! Но писать должны на абы кто, а Сертифицированные Программисты. BTW, мы учим и сертифицируем программистов на Idris, государство даже предоставляет субсидии и кредиты на это.
no subject
Ну... у нас есть только 12 лет переписать все ПО на Idris, иначе man made global mutable уничтожит все БД на планете. О внуках подумайте! Но писать должны на абы кто, а Сертифицированные Программисты. BTW, мы учим и сертифицируем программистов на Idris, государство даже предоставляет субсидии и кредиты на это.