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

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

Хорошо, тогда можно узнать твоё мнение, какой язык выбрать за создания приложений и изучения ИИ?

Помочь - помогут, но жопу подтирать не станут

После STL под Siemens мне уже ничего не страшно, тебе меня не запугать)))

Я понимаю, просто то, что говорят на ютубе - это одно, а то, что говорят практикующие программисты - совсем другое

А на ютубе сидят неопытные программисты?

Попробую немного: data braun-tree : (n : ℕ) → Set ℓ where bt-empty : braun-tree 0 bt-node : ∀ {n m : ℕ} → A → braun-tree n → braun-tree m → n ≡ m ∨ n ≡ suc m → braun-tree (suc (n + m)) bt-insert : ∀ {n : ℕ} → A → braun-tree n → braun-tree (suc n) bt-insert a bt-empty = bt-node a bt-empty bt-empty (inj₁ refl) bt-insert a (bt-node{n}{m} a' l r p) rewrite +comm n m with p | if a <A a' then (a , a') else (a' , a) bt-insert a (bt-node{n}{m} a' l r _) | inj₁ p | (a1 , a2) rewrite p = (bt-node a1 (bt-insert a2 r) l (inj₂ refl)) bt-insert a (bt-node{n}{m} a' l r _) | inj₂ p | (a1 , a2) = (bt-node a1 (bt-insert a2 r) l (inj₁ (sym p))) bt-replace-min : ∀{n : ℕ} → A → braun-tree (suc n) → braun-tree (suc n) bt-replace-min a (bt-node _ bt-empty bt-empty u) = (bt-node a bt-empty bt-empty u) bt-replace-min a (bt-node _ bt-empty (bt-node _ _ _ _) (inj₁ ())) bt-replace-min a (bt-node _ bt-empty (bt-node _ _ _ _) (inj₂ ())) bt-replace-min a (bt-node _ (bt-node _ _ _ _) bt-empty (inj₁ ())) bt-replace-min a (bt-node a' (bt-node x l r u) bt-empty (inj₂ y)) with bt-replace-min a (bt-node x l r u) | a <A x bt-replace-min a (bt-node a' (bt-node x l r u) bt-empty (inj₂ y)) | _ | tt = (bt-node a (bt-node x l r u) bt-empty (inj₂ y)) bt-replace-min a (bt-node a' (bt-node x l r u) bt-empty (inj₂ y)) | rec | ff = (bt-node x rec bt-empty (inj₂ y)) bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) with bt-replace-min a (bt-node x l r u) | bt-replace-min a (bt-node x' l' r' u') | a <A x && a <A x' bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) | _ | _ | tt = (bt-node a (bt-node x l r u) (bt-node x' l' r' u') v) bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) | rec₁ | rec₂ | ff with x <A x' bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) | rec₁ | _ | ff | tt = (bt-node x rec₁ (bt-node x' l' r' u') v) bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) | _ | rec₂ | ff | ff = (bt-node x' (bt-node x l r u) rec₂ v) bt-delete-min : ∀ {p : ℕ} → braun-tree (suc p) → braun-tree p bt-delete-min (bt-node a bt-empty bt-empty u) = bt-empty bt-delete-min (bt-node a bt-empty (bt-node _ _ _ _) (inj₁ ())) bt-delete-min (bt-node a bt-empty (bt-node _ _ _ _) (inj₂ ())) bt-delete-min (bt-node a (bt-node{n'}{m'} a' l' r' u') bt-empty u) rewrite +0 (n' + m') = bt-node a' l' r' u' bt-delete-min (bt-node a (bt-node{n}{m} x l1 r1 u1) (bt-node{n'}{m'} x' l2 r2 u2) u) with bt-delete-min (bt-node x l1 r1 u1) bt-delete-min (bt-node a (bt-node{n}{m} x l1 r1 u1) (bt-node{n'}{m'} x' l2 r2 u2) u) | rec rewrite +suc(n + m)(n' + m') | +suc n (m + (n' + m')) | +comm(n + m)(n' + m') = if (x <A x') then (bt-node x (bt-node x' l2 r2 u2) rec (lem{n}{m}{n'}{m'} u)) else (bt-node x' (bt-replace-min x (bt-node x' l2 r2 u2)) rec (lem{n}{m}{n'}{m'} u)) where lem : {n m n' m' : ℕ} → suc (n + m) ≡ suc (n' + m') ∨ suc (n + m) ≡ suc (suc (n' + m')) → suc (n' + m') ≡ n + m ∨ suc (n' + m') ≡ suc (n + m) lem{n}{m}{n'}{m'} (inj₁ x) = inj₂ (sym x) lem (inj₂ y) = inj₁ (sym (suc-inj y)) bt-remove-min : ∀ {p : ℕ} → braun-tree (suc p) → A × braun-tree p bt-remove-min (bt-node a l r u) = a , bt-delete-min (bt-node a l r u)

я на нем сейчас пишу

структурированный тект не?

У нас учительница информатики постоянно отрубала компы)

У нас учительница информатики запрещала на одном из гос языков разговаривать)

о_О

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

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

По незнанию. Она из Украины или РФ у нас в северной Осетий недавно устроилась, одноклассник говорит ей добрый день на осетинском, а она такая: говорите на русском и послала к директору 😂

Так-то РСО субъект РФ, и государственный язык в РФ только один — русский)) Все остальное — право субъектов в плане языков) Но да, она не права. В Осетии насколько помню раньше в школах преподавался осетинский. Сейчас хз

На курсах обещают помощь в трудоустройстве + сколько то работ на в портфолио. В принципе при самостоятельном изучении, в рамках выполнения заданий, и набивании руки на повторении пройденного можно закрыть вопрос с портфолио. Но какой алгоритм в поиске первого места работы? Набрать необходимый объем навыков, и кидать резюме пока кто то не ответит?

На курсах обещают помощь в трудоустройстве + сколько то работ на в портфолио. В принципе при самостоятельном изучении, в рамках выполнения заданий, и набивании руки на повторении пройденного можно закрыть вопрос с портфолио. Но какой алгоритм в поиске первого места работы? Набрать необходимый объем навыков, и кидать резюме пока кто то не ответит?

Преподается. По конституций нашей республике у нас два гос языка

Всем привет! Наверное, я не первый, кто попадает в этот чат сразу с вопросами и мыслями об обучении программированию) Но все же: могли бы посоветовать материалы\каналы на ютубе полному новичку в программировании? Если позже планирую вкатиться в Фронт-енд разработку, что следует знать\прочитать\уметь?

Ну гос язык, если говорить о формальностях, в РФ только один, а все остальное, как я уже выразился, право субъектов на самоопределение. Гос язык является таковым во всех субъектах РФ, но осетинский только лишь в РСО согласно законам субъекта

Это означает, что осетинский можно юзать наравне с русским, в школах и подобных местах.

На курсах обещают помощь в трудоустройстве + сколько то работ на в портфолио. В принципе при самостоятельном изучении, в рамках выполнения заданий, и набивании руки на повторении пройденного можно закрыть вопрос с портфолио. Но какой алгоритм в поиске первого места работы? Набрать необходимый объем навыков, и кидать резюме пока кто то не ответит?

Ребят, кто-то пользовался такими единицами измерения, как em, rem и др. ?

Только во время обучения

И всё? 😂

На практике в работе пока не встречал

Кстати, по-прежнему не понимаю про ноги.

На курсах обещают помощь в трудоустройстве + сколько то работ на в портфолио. В принципе при самостоятельном изучении, в рамках выполнения заданий, и набивании руки на повторении пройденного можно закрыть вопрос с портфолио. Но какой алгоритм в поиске первого места работы? Набрать необходимый объем навыков, и кидать резюме пока кто то не ответит?

Кстати, по-прежнему не понимаю про ноги.

Помощь в трудоустройстве можно ещё получить с помощью рекрутеров Это будет дешевле курсов всяко Вообще конечно от компании зависит. Если ты про скиллбокс/гикбрейнс где курс стоит 170 килорублей То они скорее не стоят этих денег.

Кстати, по-прежнему не понимаю про ноги.

https://qna.habr.com/q/401435

Это потому что не прострелил пока ни одну )

Я больше про ЯП, и их специалиста по DT или аналитика данных

Попробую немного: data braun-tree : (n : ℕ) → Set ℓ where bt-empty : braun-tree 0 bt-node : ∀ {n m : ℕ} → A → braun-tree n → braun-tree m → n ≡ m ∨ n ≡ suc m → braun-tree (suc (n + m)) bt-insert : ∀ {n : ℕ} → A → braun-tree n → braun-tree (suc n) bt-insert a bt-empty = bt-node a bt-empty bt-empty (inj₁ refl) bt-insert a (bt-node{n}{m} a' l r p) rewrite +comm n m with p | if a <A a' then (a , a') else (a' , a) bt-insert a (bt-node{n}{m} a' l r _) | inj₁ p | (a1 , a2) rewrite p = (bt-node a1 (bt-insert a2 r) l (inj₂ refl)) bt-insert a (bt-node{n}{m} a' l r _) | inj₂ p | (a1 , a2) = (bt-node a1 (bt-insert a2 r) l (inj₁ (sym p))) bt-replace-min : ∀{n : ℕ} → A → braun-tree (suc n) → braun-tree (suc n) bt-replace-min a (bt-node _ bt-empty bt-empty u) = (bt-node a bt-empty bt-empty u) bt-replace-min a (bt-node _ bt-empty (bt-node _ _ _ _) (inj₁ ())) bt-replace-min a (bt-node _ bt-empty (bt-node _ _ _ _) (inj₂ ())) bt-replace-min a (bt-node _ (bt-node _ _ _ _) bt-empty (inj₁ ())) bt-replace-min a (bt-node a' (bt-node x l r u) bt-empty (inj₂ y)) with bt-replace-min a (bt-node x l r u) | a <A x bt-replace-min a (bt-node a' (bt-node x l r u) bt-empty (inj₂ y)) | _ | tt = (bt-node a (bt-node x l r u) bt-empty (inj₂ y)) bt-replace-min a (bt-node a' (bt-node x l r u) bt-empty (inj₂ y)) | rec | ff = (bt-node x rec bt-empty (inj₂ y)) bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) with bt-replace-min a (bt-node x l r u) | bt-replace-min a (bt-node x' l' r' u') | a <A x && a <A x' bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) | _ | _ | tt = (bt-node a (bt-node x l r u) (bt-node x' l' r' u') v) bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) | rec₁ | rec₂ | ff with x <A x' bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) | rec₁ | _ | ff | tt = (bt-node x rec₁ (bt-node x' l' r' u') v) bt-replace-min a (bt-node a' (bt-node x l r u) (bt-node x' l' r' u') v) | _ | rec₂ | ff | ff = (bt-node x' (bt-node x l r u) rec₂ v) bt-delete-min : ∀ {p : ℕ} → braun-tree (suc p) → braun-tree p bt-delete-min (bt-node a bt-empty bt-empty u) = bt-empty bt-delete-min (bt-node a bt-empty (bt-node _ _ _ _) (inj₁ ())) bt-delete-min (bt-node a bt-empty (bt-node _ _ _ _) (inj₂ ())) bt-delete-min (bt-node a (bt-node{n'}{m'} a' l' r' u') bt-empty u) rewrite +0 (n' + m') = bt-node a' l' r' u' bt-delete-min (bt-node a (bt-node{n}{m} x l1 r1 u1) (bt-node{n'}{m'} x' l2 r2 u2) u) with bt-delete-min (bt-node x l1 r1 u1) bt-delete-min (bt-node a (bt-node{n}{m} x l1 r1 u1) (bt-node{n'}{m'} x' l2 r2 u2) u) | rec rewrite +suc(n + m)(n' + m') | +suc n (m + (n' + m')) | +comm(n + m)(n' + m') = if (x <A x') then (bt-node x (bt-node x' l2 r2 u2) rec (lem{n}{m}{n'}{m'} u)) else (bt-node x' (bt-replace-min x (bt-node x' l2 r2 u2)) rec (lem{n}{m}{n'}{m'} u)) where lem : {n m n' m' : ℕ} → suc (n + m) ≡ suc (n' + m') ∨ suc (n + m) ≡ suc (suc (n' + m')) → suc (n' + m') ≡ n + m ∨ suc (n' + m') ≡ suc (n + m) lem{n}{m}{n'}{m'} (inj₁ x) = inj₂ (sym x) lem (inj₂ y) = inj₁ (sym (suc-inj y)) bt-remove-min : ∀ {p : ℕ} → braun-tree (suc p) → A × braun-tree p bt-remove-min (bt-node a l r u) = a , bt-delete-min (bt-node a l r u)

Я решила изучать scala, пожелайте мне удачи😅😅

Я решила изучать scala, пожелайте мне удачи😅😅

Какая-то функциональная херня))) Фу такие языки, фу фу фу

Я решила изучать scala, пожелайте мне удачи😅😅

Подскажите, почему получаю underfined? Пробовал включать/выкл строгий режим.

Потому что у max не свойства undefined

но в гайде у чувака создаётся свойство автоматически

но в гайде у чувака создаётся свойство автоматически

скинешь?

перед консоль логом

А на ютубе сидят неопытные программисты?

Друзья

Товарищи, дорогие друзья

Я всмылсле Хауди хо друзья!! (Он так говорит((

Хаудихо...

?? Хауди хо друзья

Хаудихо