darklang, to github
@darklang@mas.to avatar

Hey folks!

Darklang is a , editor, and , developed in public on .

It started in 2017 and has had a tumultuous time, but is still being actively worked on by a small team led by @paulbiggar.

Darklang's goal is to make it 100x easier to build . It's a programming language, with some novel ideas, such as and .

1/🧵

stevensanderson, to FunctionalProgramming
@stevensanderson@mstdn.social avatar

The map() function applies a function across vectors, lists, or data frames efficiently. Syntax: map(.x, .f, ...) where .x is data, .f is function, ... for extra args. Examples: square vector elements via ~.x^2, get means of column across list of data frames with ~mean(.x$y), apply custom functions to rows/cols like df$z <- map_dbl(df, add_cols).

#R

Post: https://www.spsanderson.com/steveondata/posts/2023-03-26/

image/png
image/png

orderwithchaos, to books
@orderwithchaos@mastodon.social avatar

Books on algorithms in functional programming/languages:
https://functional-algorithms-verified.org/ (free, Isabelle)
https://link.springer.com/book/10.1007/978-3-662-57970-1 (paid, Scheme).

kat, to python
@kat@is.burntout.org avatar

I did some Haskell a few years ago.. but I always go back to python for actual work...

I do miss type signatures though.. like.. I don't need to test for str or int.. it's just built-in

I wonder if this will be good

https://coconut.readthedocs.io

I'm a shit programmer though

jcastroarnaud, to design Portuguese
@jcastroarnaud@mathstodon.xyz avatar

A provocative thought, and a question.

After meeting the (https://www.uiua.org/) programming language, and identifying it as queer (in both gender and style), I started thinking about the intersection of and .

I feel that most programming languages are : the (do this, then do that) matches the stereotype of "man commanding". Object-oriented paradigm, same thing. paradigm resembles an assembly line, also stereotypically male.

I feel that some languages are : SQL and Prolog, both . But I know no language.

Do you see programming languages as gendered? If so, which ones you see as female, and why?

VinceAggrippino, to typescript
@VinceAggrippino@techhub.social avatar

I recently got some help from the Discord community and learned how to use "tagged union types" in order to solve a problem.

That term was from a 7 year old blog post and I wanted to find some more recent documentation to help me cement my understanding.

It took me a while, but I finally found something in a "TS for Functional Programmers" guide that's "designed for Haskell or ML programmers". It's apparently called a "discriminated union" and it's TypeScript's closest equivalent to data in .

https://www.typescriptlang.org/docs/handbook/typescript-in-5-minutes-func.html#discriminated-unions

I don't know anything about Haskell, but I really like programming concepts, so it might be fun for me to take a look in the future.

po3mah, to 3DPrinting
@po3mah@mastodon.social avatar


The dishwasher filter frame broke, so . The design looks easy, but it took quite some measurements and prototypes for the mesh to fit in.
The first prototype looked good in theory but failed after the first washing cycle (@65C).
I knew would warp and it did. The experiment failed successfully.
Now, I did a slight design change (2 supporting pillars) and printed in , which should be heat resistant up to 80C.
We'll see.

Dishwasher filter frame 3d printed in PLA, after testing it in the dishwasher. It's warped, what did I expect?
Dishwasher filter frame, new design with 2 supporting pillars

shakthimaan, to programming
@shakthimaan@mastodon.social avatar

OCaml Programming: Correct + Efficient + Beautiful textbook on functional programming and data structures by Michael R. Clarkson et. al for course CS 3110 at Cornell University https://cs3110.github.io/textbook/cover.html

marcosh, to php
leobm, to haskell German
@leobm@norden.social avatar
janriemer, to random

-store | A completely and totally inadequate description of storing stuff as functions - by radiki.dev (Chris Gioran)

https://radiki.dev/posts/glowdust-store/

amy, to rust

I am looking for an iterator who repeatedly applies a function to itself, so it's elements are (when starting with zero):

0
f( 0 )
f( f( 0 ) )
f( f( f( 0 ) ) )
...

I know I can implement this myself, but this feels like a pretty useful thing so I am guessing it already exists and I just don't know about it yet.

Kinda like a reverse fold operation?

az, to random
@az@scorpinc.social avatar

One of the things I like from programming that more people need to use is "just use lists".

so many backend devs twist themselves into knots building complex APIs that can return a list of results, a single result, or a "no result found" error, when you could just return a list, a list with one element, or no elements.

matadan, to forth
@matadan@mastodon.social avatar

I've added annotations to the left gutter in the terminal-based Rainbow editor.

matadan, (edited ) to random
@matadan@mastodon.social avatar

Rainbow (as a terminal app) is starting to come together. The image shows part of a fully functional program that is also the instruction manual. Each section has its own execution context so it is easy to write self documenting code because the code can be executed exactly where it is defined as an example.

shakthimaan, to programming
@shakthimaan@mastodon.social avatar

Kcas: Building a lock-free Software Transactional Memory (STM) for OCaml (Part I) by Vesa Karvonen https://tarides.com/blog/2023-08-07-kcas-building-a-lock-free-stm-for-ocaml-1-2/ @tarides_

marcosh, to random
RedGlow, to programming
@RedGlow@mastodon.gamedev.place avatar

time!

I love , I do it since redacted years, especially interested in languages and in general about software architecture.

Started to accumulate some experience inside @owofgames .

I have strong opinions about games and game culture, but I'll mostly post about technical stuff in here.
(probably)
(maybe)
(well, i guess my current propic already says a lot)

AmenZwa, to programming
@AmenZwa@mathstodon.xyz avatar

to industry peers and graduate students in academia is mighty rewarding. But having to teach FP to junior IT programmers and novice CS students can be quite frustrating.

In , deep experience and broad perspective matter much, much more than possessing mere skills.

vga256, (edited ) to random
@vga256@dialup.cafe avatar

can anyone tell me what the hashtag people use for web 1.0/oldwideweb stuff? the word is totally escaping me

edit: it was , thanks @ubi

johntimaeus,
matadan, to random
@matadan@mastodon.social avatar

Rainbow has no conditional statements nor branching capability (as these are evil) but it has a switch that selects between cases and puts the matching result onto the stack. This can be used to implement 'ifelse' and 'if' as shown.

webbureaucrat, to random
@webbureaucrat@floss.social avatar
vladimir_lu, to programming
@vladimir_lu@hachyderm.io avatar

Time for the post. I’m Vlad, a functional human being that is currently working on a proprietary querying system, mostly written in with a small bit of . I used to tinker with and things before the pandemic and haven’t quite gotten back to it yet. I’d like to post some more programming content, perhaps some and definitely a few about politics or the lame state of software engineering in companies…

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • thenastyranch
  • magazineikmin
  • osvaldo12
  • GTA5RPClips
  • mdbf
  • Youngstown
  • tacticalgear
  • slotface
  • rosin
  • kavyap
  • ethstaker
  • everett
  • khanakhh
  • JUstTest
  • DreamBathrooms
  • InstantRegret
  • cubers
  • normalnudes
  • Leos
  • ngwrru68w68
  • cisconetworking
  • modclub
  • Durango
  • provamag3
  • anitta
  • tester
  • lostlight
  • All magazines