Блог*
#prog #rust #python #article Насколько далеко можно зайти в поддержке кода на Python внутри Rust? Достаточно далеко, чтобы заставить IDE подсвечивать ошибки в коде на Python. https://blog.m-ou.se/writing-python-inside-rust-3/
#prog #rust #python #rustlib #amazingopensource
Следующий логический шаг: макрос ct_python, который на этапе компиляции выполняет заданный код на Python и раскрывается в вывод в stdout этого скрипта.
Презентация возможностей
Документация
Следующий логический шаг: макрос ct_python, который на этапе компиляции выполняет заданный код на Python и раскрывается в вывод в stdout этого скрипта.
Презентация возможностей
Документация
Twitter
Mara Bos
If you ever wanted to generate Rust code using Python within your Rust, look no further! Next to inline-python, there's now also a ct_python macro, which executes Python code at compile time and inserts the output as Rust code back into your program.✨docs.rs/ct…
Forwarded from Dr. Friedrich von Never
А мне название нравится. Сразу видно, что преимущества сразу двух языков.
#prog #c #abnormalprogramming
Крестики-нолики, упакованные в вызов printf в цикле.
github.com/carlini/printf-tac-toe
Крестики-нолики, упакованные в вызов printf в цикле.
github.com/carlini/printf-tac-toe
GitHub
GitHub - carlini/printf-tac-toe: tic-tac-toe in a single call to printf
tic-tac-toe in a single call to printf. Contribute to carlini/printf-tac-toe development by creating an account on GitHub.
👍1
Forwarded from Matwey Kornilov
В итоге вчера тренировал случайный лес с максимальной глубиной в 200 слоев и 3 деревьями
#prog #article
Как гарантировать, что слияние отсортированных списков сливает списки, отсортированные по одному предикату? Как доказать, что данному ключу в ассоциативном массиве обязательно соответствует значение? И как ещё и не платить за всё это в рантайме? Обо всём этом можно прочитать в Ghosts of Departed Proofs. Читать одно удовольствие.
kataskeue.com/gdp.pdf
Как гарантировать, что слияние отсортированных списков сливает списки, отсортированные по одному предикату? Как доказать, что данному ключу в ассоциативном массиве обязательно соответствует значение? И как ещё и не платить за всё это в рантайме? Обо всём этом можно прочитать в Ghosts of Departed Proofs. Читать одно удовольствие.
kataskeue.com/gdp.pdf
#prog #rust #abnormalprogramming #article
"Имитируем функционал зависимых типов в системе типов Rust". Да, примерно то, что вы прочитали. И это действительно НАРКОМАНИЯ.
habr.com/ru/post/477330/
"Имитируем функционал зависимых типов в системе типов Rust". Да, примерно то, что вы прочитали. И это действительно НАРКОМАНИЯ.
habr.com/ru/post/477330/
Хабр
Имитируем функционал зависимых типов в системе типов Rust
Системы типов — это настоящее безумие. Некоторое время назад я уже отметился здесь со статьёй, в которой пытался разобрать, какие гарантии в compile-time может...
∏ρ؃uñçτØρ Øπτµç∑ | 👁🗨››››
Photo
Хабр
Язык программирования Go тоже очищают от «расистских» терминов
В репозиторий языка программирования Go внесены изменения с целью очистить документацию и исходные тексты от потенциально оскорбительных терминов whitelist/blacklist и master/slave (хозяин/раб). В...
Forwarded from 𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Можно просто добавлять, что раз его/её иде может правильно разрулить типы и сделать правильный анализ его/её продукта мысли, значит никакого динамизма там нет и можно было бы не выёживаться и взять нормальную статически типизированную платформу.
#prog #haskell
Говорят, что в Haskell нет циклов. Это, конечно же, не так, просто циклы там являются не конструкциями языка, а библиотечными функциями.
Говорят, что в Haskell нет циклов. Это, конечно же, не так, просто циклы там являются не конструкциями языка, а библиотечными функциями.
Вы, наверное, слышали бородатую историю про семь перпендикулярных красных линий. Мало кто знает оригинал. Вот он.
Livejournal
Совещание
Петров пришел во вторник на совещание. Ему там вынули мозг, разложили по блюдечкам и стали есть, причмокивая и вообще выражая всяческое одобрение. Начальник Петрова, Недозайцев, предусмотрительно раздал присутствующим десертные ложечки. И началось. — Коллеги…