152 ·GitHub
Что это?
CalcKernel (CK) — статически типизированный язык для написания узких ядер численных вычислений, которые вызывает более крупное приложение, а не полноценный прикладной язык.
CalcKernel (CK) — статически типизированный язык для написания узких ядер численных вычислений, которые вызывает более крупное приложение, а не полноценный прикладной язык.CK — это отдельное приложение, библиотека или набор инструментов компилятора?CK — язык программирования со своим компилятором (ckc). Вы пишете файлы исходников .ck, а ckc проверяет, запускает или собирает их в нативные программы/библиотеки либо генерирует C или WebAssembly для встраивания в другие системы.
CK — язык программирования со своим компилятором (ckc). Вы пишете файлы исходников .ck, а ckc проверяет, запускает или собирает их в нативные программы/библиотеки либо генерирует C или WebAssembly для встраивания в другие системы.Как написать и запустить свою первую программу на CK?Скачайте готовый компилятор для своей системы, затем следуйте руководству по первой программе, чтобы создать и запустить программу на CK; подойдёт любой текстовый редактор, а для помощи с синтаксисом есть опциональное расширение VS Code.
Скачайте готовый компилятор для своей системы, затем следуйте руководству по первой программе, чтобы создать и запустить программу на CK; подойдёт любой текстовый редактор, а для помощи с синтаксисом есть опциональное расширение VS Code.Нужен ли установленный LLVM для использования CK?Не для готовых релизов. LLVM требуется только при сборке функции Native в CalcKernel из исходников — используется зафиксированный статический префикс LLVM, проверяемый по SHA-256 в bootstrap-скрипте; релизным бинарникам во время работы LLVM не нужен.
Не для готовых релизов. LLVM требуется только при сборке функции Native в CalcKernel из исходников — используется зафиксированный статический префикс LLVM, проверяемый по SHA-256 в bootstrap-скрипте; релизным бинарникам во время работы LLVM не нужен.Насколько надёжны заявления CalcKernel о производительности?README прямо предупреждает, что замеры производительности охватывают конкретные нагрузки на конкретных машинах и не являются общим рейтингом против других языков, поэтому результаты могут меняться в зависимости от алгоритма и целевого железа.
README прямо предупреждает, что замеры производительности охватывают конкретные нагрузки на конкретных машинах и не являются общим рейтингом против других языков, поэтому результаты могут меняться в зависимости от алгоритма и целевого железа.На каких платформах можно собирать и запускать программы на CK?Компилятор скачивается под вашу систему, а целями могут быть нативный машинный код или WebAssembly; требования к сборке под MSVC на Windows в документации описаны отдельно, а поддержка Linux и macOS подразумевается самим нативным кроссплатформенным процессом сборки.
Компилятор скачивается под вашу систему, а целями могут быть нативный машинный код или WebAssembly; требования к сборке под MSVC на Windows в документации описаны отдельно, а поддержка Linux и macOS подразумевается самим нативным кроссплатформенным процессом сборки.Что добавляет расширение CalcKernel для VS Code?Оно даёт поддержку синтаксиса CK, диагностику на лету, навигацию по коду и команды проверки, запуска и сборки текущего файла .ck прямо из редактора.
Оно даёт поддержку синтаксиса CK, диагностику на лету, навигацию по коду и команды проверки, запуска и сборки текущего файла .ck прямо из редактора.Для чего нужен профиль simd128?Это опциональный профиль WebAssembly, который векторизует поддерживаемые отображения массивов и целочисленные свёртки; неподдерживаемые случаи автоматически откатываются к обычному скалярному коду.
Это опциональный профиль WebAssembly, который векторизует поддерживаемые отображения массивов и целочисленные свёртки; неподдерживаемые случаи автоматически откатываются к обычному скалярному коду.Как CK обеспечивает безопасность памяти обрабатываемых данных?Приложения передают в CK всю память через типизированные срезы данных, принадлежащие вызывающему, и сохраняют за собой владение ею, а сборки native/C могут опционально включать проверки целочисленного переполнения и границ срезов.
Приложения передают в CK всю память через типизированные срезы данных, принадлежащие вызывающему, и сохраняют за собой владение ею, а сборки native/C могут опционально включать проверки целочисленного переполнения и границ срезов.Зачем использовать CK вместо написания численного кода прямо на C?CK добавляет статическую типизацию и явные срезы данных во владении вызывающего на числовой границе, при этом компилируясь в нативный код, библиотеку с C-ABI или WebAssembly, давая более сильные гарантии, чем рукописный C, при схожих вариантах интеграции.
CK добавляет статическую типизацию и явные срезы данных во владении вызывающего на числовой границе, при этом компилируясь в нативный код, библиотеку с C-ABI или WebAssembly, давая более сильные гарантии, чем рукописный C, при схожих вариантах интеграции.What are similar projects?scriptc, Tov, Singeli, raddebugger, spinel, perry, carbon-lang, goose
scriptc, Tov, Singeli, raddebugger, spinel, perry, carbon-lang, gooseWhich topics is it in?llvm, performance-optimization, simd, toolchain, webassembly, vscode-extension, programming-language, low-level, vscode, systems-programming, native, high-performance
llvm, performance-optimization, simd, toolchain, webassembly, vscode-extension, programming-language, low-level, vscode, systems-programming, native, high-performance