Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics

Dashboard
Notifications
Mark all as read
Purim Torah

Software development: halachic type systems Question

+6
−0

In the creation account of Genesis 1 we see an initial situation described as "void", and every step away from this situation is described as good. It seems, therefore, that void is to be avoided. What are the implications for software programmers in languages which support void? In particular, if they should avoid void, what are the boundaries of that avoidance? Should they avoid creating functions / methods which return void? What about calling such functions? Is some analogue of the shabbat goy permitted?

Reading further, we see in Genesis 2:1 that the finished work of creation is summarised as

The heaven and the earth were finished, and all their array.

It seems then that the array is the pinnacle of a type system. Should function signatures preferentially return an array containing a single item rather than a non-array?

Why does this post require moderator attention?
You might want to add some details to your flag.
Why should this post be closed?

2 comments

And what of finalizing? Are mere humans allowed to do that? Monica Cellio‭ 12 days ago

Obligatory “universe was made in Perl” comment DonielF‭ 11 days ago

1 answer

+3
−0

Frame challenge: if we are commanded to continue the work of Creation, surely we must maintain at least the memory of voids to measure our progress against.

After all, how else can we fulfill the mitzvah of freeing memory before deleting a pointer, or void oaths which are no longer appropriate? (See for example Nedarim 23b:1 and Berakhot 32a:24)

Why does this post require moderator attention?
You might want to add some details to your flag.

1 comment

Username checks out DonielF‭ 11 days ago

Sign up to answer this question »

Like any library, this site offers tons of great information, but does not offer personalized, professional advice, and does not take the place of seeking such advice from your rabbi.

This community is part of the Codidact network. We have other communities too — take a look!

You can also join us in chat!

Want to advertise this community? Use our templates!