Búsquedas recientes

No hay búsquedas recientes

Opciones de búsqueda

Solo disponible si inicias sesión.
masto.es es uno de los varios servidores independientes de Mastodon que puedes usar para participar en el fediverso.
Bienvenidos a masto.es, el mayor servidor de Mastodon para hispanohablantes de temática general. Registros limitados actualmente a invitaciones.

Administrado por:

Estadísticas del servidor:

1,9 K
usuarios activos

masto.es: Acerca deEstadoDirectorio de perfilesPolítica de privacidad

Mastodon: Acerca deObtener la aplicaciónAtajos de tecladoVer código fuentev4.4.2

#programminglanguage

1 publicación1 participante0 publicaciones hoy
Respondió en el hilo
*
Arne Babenhauserheide

@serge That said: I now predict that #COBOL will make a comeback.

#GCC 15 integrated a COBOL frontend,¹ and #GNU COBOL 4 seems to make the performance no longer atrocious² compared to the damn expensive proprietary COBOL compilers.

And that’s likely a game changer for many huge, mission critical codebases.

¹ gcc.gnu.org/gcc-15/changes.htm
² sourceforge.net/p/gnucobol/dis

gcc.gnu.orgGCC 15 Release Series — Changes, New Features, and Fixes - GNU Project
#programming#programmingLanguage
Giacomo Tesio
While it has its own issues, there are several good reasons why my favourite #ProgrammingLanguage in the real world is #C.¹

Why not #Go?
Because it's from #Google.

Why not #Csharp or #Fsharp?
#Microsoft.

Why not #Rust or #Zig?
#LLVM (aka #Apple & friends).

Ultimately, most of languages I avoid like the plague are controlled by #BigTech one way or another.

C is simple enough to get several alternative compilers based on useful standards.² ³


¹ In theory I still prefer #Oberon07, but when I want to code something useful I still use C instead to lower the entry barrier for other devs, because there are too many incompatible implementations of the compiler and "standard" library.

² Ok, #Python, #Scheme and #Lua have similar qualities, but for the tools I write I usually prefer binary executables with no runtime.

³ No, #C++ is not an option. 😉
harmful.cat-v.orgBjarne Stroustrup: "I Did It For You All..."
*
Ramin Honary
Thinking of publishing a paper about #Schemacs at ICFP/SPLASH 2025

…except there is not much in the way of original research. But I have received a lot of positive feedback about my project from the Scheme and Emacs community. So let me ask the Scheme/Emacs fediverse: if you would be interested in using or contributing to a Scheme-based Emacs that is mostly backward-compatible with #GNUEmacs , what is it about this prospect that is most interesting to you?

Personally, I live inside of Emacs and program most of my personal workflows in Emacs Lisp, though I feel that Scheme is a more interesting and fun language to use when compared to other #Lisp-family languages. So I would just like to be able to use Scheme as the language in which I program all of my personal workflows. Also I am curious if it is possible to write a large application in #R7RS Scheme such that it runs on many different Scheme implementations.

So does anyone else agree, or are there other things about a prospective Scheme-based Emacs that interest you that might be worth mentioning to a the audience of the Scheme-related chapters of the ICFP?

I was talking with William Byrd, who is one of the conference organizers of ICFP/SPLASH this year, and he says the committee could possibly accept anything of interest to the Scheme community, for example experience reports and “position papers” (helping others understand an opinion or philosophy on the topic). And they would judge these papers on different criteria than a paper about novel scientific research.

Anyone feel free to comment, but I am going to ping a few people in particular who seem to have opinions on this, like @dougmerritt @jameshowell @david_megginson @tusharhero @arialdo @lispwitch @cwebber @dpk and also @PaniczGodek who published on GRASP at this conference last year, if I recall correctly.

conf.researchr.orgScheme 2025 - ICFP/SPLASH 2025The Scheme and Functional Programming Workshop is a yearly meeting of programming language practitioners who share an aesthetic sense embodied by the Algorithmic Language Scheme: universality through minimalism, and flexibility through rigorous design.
#tech#software#FOSS
Jan :rust: :ferris:

(❁´◡`❁)

#Rust pattern types RFC:
gist.github.com/joboet/0cecbce

Pattern types are a form of refinement types, which allow some subset of #FormalVerification!

en.wikipedia.org/wiki/Refineme

Tracking Issue for #PatternTypes:
github.com/rust-lang/rust/issu

Tracking Issue for generic pattern types OwO:
github.com/rust-lang/rust/issu

Implement minimal, internal-only pattern types in the type system:
github.com/rust-lang/rust/pull

I'm _really_ looking forward to how #RustLang will evolve in this area!👀

GistPattern types RFCPattern types RFC. GitHub Gist: instantly share code, notes, and snippets.
#ProgrammingLanguage
Respondió en el hilo
*
Ramin Honary

@das_g True. It is certainly magical that there is a programming language which defines a state monad called “IO” (or sometimes “Effect”) which carries around with it a symbol of the entire Real World in order to model the idea that any evaluation of a function of that type of monad may (or may not) create a change somewhere out in the real world, as opposed to “pure” functions which can only ever manipulate the stack.

#tech#software#Haskell
*
Bamboy

Oh dear, I just found #ValaLanguage which closely mimics #csharp syntax but with minimal/no dependencies and compiles to C.

This might be my new #programming language, esp since C# isn't widely used on #Linux systems.

I think this means I have to learn about C though. #Unity3D is quickly becoming a thing of my past, one way or another.

docs.vala.dev/tutorials/progra
wiki.gnome.org/Projects/Vala/V

docs.vala.devMain Tutorial - Vala Documentation
#Vala#software#programminglanguage
*
Ramin Honary

Completed large refactor in my software. Intermediate data can now be formulated as one of two different data structures. Unit tests updated to test both formulations for each test case, effectively doubling the number of test cases.

Run unit tests… and… 100% tests pass.

Younger version of me: “YES!!! I am a hacker god!”

Current version of me: “WTF!!! There is no fucking way EVERY – SINGLE – LAST test case just passed after all that refactoring.”

#tech#software#SoftwareEngineering
En tendenciaCronologías
Acerca de