Почему? Можно типами ограничить пользовательский ввод

IO string -> string50 option какой-нибудь

IO не в плане хаскеля, а в плане f*, т.е. это ML скорее -> может быть ексепшн или не вернёт никогда

option в плане F# -> может таки быть правильная строка длиной 50 или нет

В целом да

Вопрос в том, как это будет валидироваться

Ну как вариант применения- валидатор входящих хтмл запросов, кстати

Который бы отсекал невалидные

Это бывает важно при проведении платежей, например

В общем всё, где есть пользовательские данные, идёт мимо

Это неверно.

Ну да, парой постов выше меня уже поправили

Мне кажется, достаточно будет верифицировать те части системы, где уже правильные данные. :)

А обработку пользовательского ввода покрыть тестами.

Но я ненастоящий сварщик.

Principal Researcher at Microsoft Mobile Tools and Microsoft Research

А как principle researcher по-русски будет?

Знает кто что такое модель линейного программирования? :)

Мб делал кто, типа @gsomix или @AnutaU

Знает кто что такое модель линейного программирования? :)

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

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

Да.

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

Методы оптимизации, наверное.

У нас называется ТЕОРЕТ.ОСНОВЫ АВТОМАТ.УПРАВЛ.

:D

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

Хз, я пока не разбирался

Там какая-то дичь, вроде графы надо рисовать

Симплекс-метод это что-то типа чуть более умного, чем полный, перебора по системе линейных уравнений

ЕМНИП

У меня есть товарищ - страховой математик, он помоложе и наверняка шарит, если что-то надо, я могу спросить 😂

Симплекс-метод это что-то типа чуть более умного, чем полный, перебора по системе линейных уравнений

неравенств только

У меня есть товарищ - страховой математик, он помоложе и наверняка шарит, если что-то надо, я могу спросить 😂

Спасиб, я пока попробую своими силами

Спасиб, я пока попробую своими силами

ты точно сможешь

Я надеялся тут мегамозг есть, который решит всё за 5 наносекунд :)

А я funogram попилю :D

Симплекс-метод это что-то типа чуть более умного, чем полный, перебора по системе линейных уравнений

Похоже на динамическое программирование

Динамическое там тоже что-то было, да

Я надеялся тут мегамозг есть, который решит всё за 5 наносекунд :)

мне прямо польстило, что упомянули в таком контексте 🙃

Ну ка, методом дедукции вычислите что там должно быть, где символ ?

=?

Неравенство же

Чтоа?

Чтоа?

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

Так?

Я вообще не понял о чем речь)

Лан, забей)

Я надеялся тут мегамозг есть, который решит всё за 5 наносекунд :)

Школоло!

docs.com

Скромно так. :)

Скромно так. :)

даааа

Не,нуачотакого?

теперь гугл должен

do.cs

docs.com

Сын маминой подруги

В честь Гугла и так глагол назвали

А в честь M$ что-нибудь назвали?

Нуачо, "стырили" же у нас название "SAFE" (Simulation Assisted Flash firmware development and testing Ecosystem). Надо было регистрировать 🙃

Не стырили, а позаимствовали

И вообще независимо придумали

там кавычки стояли

мы просто теперь коллекционируем сущности, которые так же называются

Скромно так. :)

интересна цена домена

https://blog.mavnn.co.uk/working-with-noredink/

Видали?

?

Ну, mavnn будет теперь на Elm в NoRedInk писать.

А мне нравился его F# блог. :)

Я по его статьям в тайппровайдерах разбирался.

А ml.net юзал кто?

Нет, сыро же.

люблю сыр

*сырно

Нет, сыро же.

А как оно обучается? На CPU?

А как оно обучается? На CPU?

На CPU.

А почему в F# нет модулей модных как в OCaml?

ещё вон что нашла: https://www.amazon.com/Vilcoo-Mens-Ocaml-Great-Shirts/dp/B016JPS72C/ref=sr_1_26?ie=UTF8&qid=1528990691&sr=8-26&keywords=ocaml

А почему в F# нет модулей модных как в OCaml?

Непонятно, как эффективно реализовать в рамках CLR.

Непонятно, как эффективно реализовать в рамках CLR.

надо понять, как это вообще реализовано