Вышла новая версия 0.4.0 языка программирования Idris 2
Форум — Development
Очень бесят жирные заголовки у окон, которые занимают слишком много места по вертикали. Почему до сих пор в гноме не впилили данную настройку? Ненависть.
https://twitter.com/0x30n/status/1362592846633705474?s=20
This the first time we’ll be flying Linux on Mars. We’re actually running on a Linux operating system. The software framework that we’re using is one that we developed at JPL for cubesats and instruments, and we open-sourced it a few years ago. So, you can get the software framework that’s flying on the Mars helicopter, and use it on your own project. It’s kind of an open-source victory, because we’re flying an open-source operating system and an open-source flight software framework and flying commercial parts that you can buy off the shelf if you wanted to do this yourself someday. This is a new thing for JPL because they tend to like what’s very safe and proven, but a lot of people are very excited about it, and we’re really looking forward to doing it.
https://www.idris-lang.org/idris-2-version-030-released.html
Library changes:
Data.HVect in contrib, for heterogeneous vectors.base and contribCommand-line options changes:
--color and --no-color options for colored terminal output.
Color is enabled by default.--console-width <auto|n> option for printing margins. By default the
auto option is selected, the result is that the compiler detects the current
terminal width and sets it as the option value, otherwise a user value can be
provided. An explicit 0 has the effect of simulating a terminal with
unbounded width.Language and compiler changes:
Removed multiplicity subtyping, as this is unsound and unfortunately causes more problems than it solves. This means you sometimes now need to write linear versions of functions as special cases. (Though note that the 1 multiplicity is still considered experimental, so hopefully this will change for the better in the future!)
Added new syntax for named applications of explicit arguments:
f {x [= t], x [= t], ...}
f {x [= t], x [= t], ..., _}
Added syntax for binding all explicit arguments (in the left hand side);
f {}
Added new syntax for record updates (without the need for the record
keyword):
{x := t, x $= t, ...}
Local implementations of interfaces (in let or where blocks) now work,
along with %hint annotations on local definitions, meaning that local
definitions can be searched in auto implicit search.
New experimental refc code generator, which generates C with reference
counting.
Added primitives to the parsing library used in the compiler to get more precise
boundaries to the AST nodes FC.
REPL/IDE mode changes:
:color (on|off) option for colored terminal output.:consolewidth (auto|n) option for printing margins. Mirrors the
command line option.Features
Eliminate tail recursion using JVM’s GOTO
Trampoline non-self tail calls
Support file, directory, array, IORef and buffer primitives.
Analyse function dependencies to generate bytecode for only used functions from main
Limited type inference on Idris IR to avoid boxing and typecasting in the generated bytecode
Static and instance Java FFI method calls.
Debug information (Idris source file and line numbers) in the bytecode from Idris IR
Тhe language that supports trans rights:
https://github.com/pontaoski/transrights
func main replies int {
// main: The entrypoint of the program.
logger := (Logger new)
(Logger print:`Trans rights!` withEndOfLine:`\n`)
reply 0
}
Ну, кто нибудь? ЯП для лоровцев запилите, а?
Сайт-блог, написанный на связке Идрис + Эликсир:
https://www.typedtext.io/posts/view?id=2
https://github.com/chrrasmussen/typedtext.io
Используется кодогенератор Идрис -> Эрланг:
https://github.com/chrrasmussen/Idris2-Erlang
Презенташка:
The Anti-Capitalist Software License (ACSL) is a software license towards a world beyond capitalism. This license exists to release software that empowers individuals, collectives, worker-owned cooperatives, and nonprofits, while denying usage to those that exploit labor for profit.
Лицензия на антикапиталистическое программное обеспечение (ACSL) - это лицензия на программное обеспечение, предназначенное для мира за пределами капитализма. Эта лицензия существует для выпуска программного обеспечения, которое расширяет возможности отдельных лиц, коллективов, кооперативов, принадлежащих работникам, и некоммерческих организаций, при этом запрещая использование для тех, кто эксплуатирует труд для получения прибыли.
https://anticapitalist.software
Copyright © [year] [copyright holders]
This is anti-capitalist software, released for free use by individuals and organizations that do not operate by capitalist principles.
Permission is hereby granted, free of charge, to any person or organization (the "User") obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
1. The above copyright notice and this permission notice shall be included in all copies of the Software.
2. The User is one of the following:
a. An individual person
b. An organization of people that does not seek profit
c. An organization of people that seeks shared profit for all its members and does not exploit the labor of non-members
3. If the User is an organization with owners, then all owners are workers and all workers are owners with equal share.
4. If the User is an organization, then the User is not law enforcement or military, or working under either.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT EXPRESS OR IMPLIED WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
После того, как Мозила выкинула всю команду разработки Раст (и Серво) на мороз?
Пытаюсь собрать tdlib из репы под OpenBSD 6.7:
Линкер падает с ошибкой:
/usr/bin/ar: libtdcore.a: Memory exhausted
Ок, могу подкрутить лимиты.
Но я глянул на уже собранные библиотеки, и что же я там увидел:
user@openbsd:~/work/build/td/build % ls -l
total 312880
-rw-r--r-- 1 user user 21645 Jul 29 13:22 CMakeCache.txt
drwxr-xr-x 17 user user 1024 Jul 29 13:39 CMakeFiles/
-rw-r--r-- 1 user user 434 Jul 29 13:22 CTestTestfile.cmake
-rw-r--r-- 1 user user 194803 Jul 29 13:22 Makefile
-rw-r--r-- 1 user user 1836 Jul 29 13:22 TdConfigVersion.cmake
drwxr-xr-x 3 user user 512 Jul 29 13:36 benchmark/
-rw-r--r-- 1 user user 6998 Jul 29 13:22 cmake_install.cmake
-rw-r--r-- 1 user user 323134 Jul 29 13:22 compile_commands.json
-rw-r--r-- 1 user user 91110 Jul 29 13:25 libmemprof.a
-rw-r--r-- 1 user user 9845310 Jul 29 13:25 libtdapi.a
-rw-r--r-- 1 user user 2031108 Jul 29 13:36 libtdclient.a
-rw-r--r-- 1 user user 307602038 Jul 29 13:36 libtdcore.a
drwxr-xr-x 3 user user 512 Jul 29 13:23 sqlite/
drwxr-xr-x 4 user user 512 Jul 29 13:22 td/
drwxr-xr-x 3 user user 512 Jul 29 13:25 tdactor/
drwxr-xr-x 3 user user 512 Jul 29 13:26 tddb/
drwxr-xr-x 3 user user 512 Jul 29 13:26 tdnet/
drwxr-xr-x 3 user user 512 Jul 29 13:23 tdtl/
drwxr-xr-x 5 user user 512 Jul 29 13:25 tdutils/
drwxr-xr-x 3 user user 512 Jul 29 13:22 test/
-rw-r--r-- 1 user user 307602038 Jul 29 13:36 libtdcore.a
WTF? я понимаю, что собрано статически, но весить столько для библиотеки чатика, это нормально?
https://github.com/froggey/Mezzano/releases/tag/demo5
Можно потыкать палочкой в VirtualBox, QEMU или даже на реальном железе (привет ReactOS!).
Последние изменения:
Еще в поставке есть из приложений:
https://github.com/idris-lang/Idris2/pull/415
https://github.com/idris-lang/Idris2/blob/master/CHANGELOG.md
Вот теперь, на ноде можно начать писать без рвотного рефлекса. Аминь!
Посмотреть можно будет здесь 11 июня в 13:00 (PDT):
Погонять линукс например?
Что то вроде формата дешевой малинки, есть в продаже?
Данный релиз примечателен тем, что теперь Idris 2 – self-hosted, то есть написан на самом себе и собирает сам себя.
В качестве бэкенда/рантайма пока используются реализации на языке Scheme: Chez Scheme – дефолтная реализация (одна из самых быстрых) и Racket.
Idris 2 работает на GNU/Linux, macOS, BSD* и MS Windows.
Подробности: https://www.idris-lang.org/idris-2-version-020-released.html
https://github.com/edwinb/Idris2-SH
Ура товарищи!
А пока на изменения можно посмотреть здесь:
https://github.com/mpv-player/mpv/issues/7724
TL;DR:
Reproduction steps
In the mpv source directory, run find -name '*.c', followed by find -name '*.rs'.
Expected behavior
The first command (find -name '*.c') should produce no output. The second command (find -name '*.rs') should print a list of mpv's Rust source files.
| следующие → |