Codesh for Java Developers

Codesh derives its type system from Java, including its object-oriented principles and structure.

If you’re a Java developer, you can use the table below as a reference to understand how certain keywords can translate into Codesh. Note that some keywords exist purely for grammar fluffing and therefore do not have a Java alternative.

Additionally present is an Explanation column for some insight on why we chose that particular keyword.

Punctuation

Java	Codesh	Example	Explanation
;	:		Modern versions of the Hebrew Bible end verses with :
,	ו־
.	ל־		Goes well with מסוף ל־אמר

Core Syntax

Java	Codesh	Example	Explanation
(none)	בס"ד		בקרב היהדות, נהוג לחתום את המילה בס"ד בראשי מסמכים.
(none)	בע"ה
(none)	אי"א
(none)	ימ"מ
} (opens)	ויאמר:
{ (closes)	ויתם:
) (opens)	כי־
( (closes)	כי־טוב		וַיַּרְא אֱלֹהִים אֶת־הָאוֹר כִּי־טוֹב וַיַּבְדֵּל אֱלֹהִים בֵּין הָאוֹר וּבֵין הַחֹשֶׁךְ׃ (בראשית פרק א' פס' ד) מכאן נובע כי כאשר ה' ברא את האור, הוא סיים את הקריאה למעשה באמצעות מילת המפתח "כי־טוב
package	וישב בארץ		וַיֵּ֥צֵא קַ֖יִן מִלִּפְנֵי֣ יְהוָ֑ה וַיֵּ֥שֶׁב בְּאֶֽרֶץ־נ֖וֹד קִדְמַת־עֵֽדֶן׃ (בראשית פרק ג' פס' ט"ז) הביטוי "וישב בארץ" מתאר את התיישבותו של אדם בארץ מסוימת.במסגרת שפת קודש, ספר קודש מתיישב תמיד בארץ המוגדרת בתיקיית המקור.
import	ויבא את
import static	ויבא לכל־את
* / ?	כולל		כולל (היישוב הישן) – ויקיפדיה
(none)	ויהי
(none)	ושמו		וּלְרִבְקָ֥ה אָ֖ח וּשְׁמ֣וֹ לָבָ֑ן וַיָּ֨רׇץ לָבָ֧ן אֶל־הָאִ֛ישׁ הַח֖וּצָה אֶל־הָעָֽיִן׃ (בראשית פרק כ"ד פס' כ"ט).
(none)	היה

Reference Types and Modifiers

Java	Codesh	Example	Explanation
class	עצם	ויהי עצם ושמו <שם> [<מאפיינים> היה]
public	נגלה
private	נחבא		"וַֽיִּשְׁמְע֞וּ אֶת־ק֨וֹל יְהוָ֧ה אֱלֹהִ֛ים מִתְהַלֵּ֥ךְ בַּגָּ֖ן לְר֣וּחַ הַיּ֑וֹם וַיִּתְחַבֵּ֨א הָֽאָדָ֜ם וְאִשְׁתּ֗וֹ מִפְּנֵי֙ יְהוָ֣ה אֱלֹהִ֔ים בְּת֖וֹךְ עֵ֥ץ הַגָּֽן" (בראשית פרק ג' פס' ח)
protected	קדש		דבר אשר קדוש הינו דבר אשר מוגן
final	ימות ולא־יתחלף		https://www.kan.org.il/content/kan-news/politic/965364/
static	לכל־		וּֽלְכׇל־חַיַּ֣ת הָ֠אָרֶץ וּלְכׇל־ע֨וֹף הַשָּׁמַ֜יִם וּלְכֹ֣ל ׀ רוֹמֵ֣שׂ עַל־הָאָ֗רֶץ אֲשֶׁר־בּוֹ֙ נֶ֣פֶשׁ חַיָּ֔ה אֶת־כׇּל־יֶ֥רֶק עֵ֖שֶׂב לְאׇכְלָ֑ה וַֽיְהִי־כֵֽן׃ (בראשית פרק ג' פס' ל') ה׳ נותן לכל בעלי החיים את הצמחים והעשב למאכל משמע שאפשור מאכל הצמחים והעשבים הינו דבר סטטי בעצם הבהמה

Methods & Functions

Java	Codesh	Example	Explanation
return	וישב
(none)	ויקח
method	מעשה	ויהי מעשה ושמו <שם> [<מאפיינים> היה] [ויקח <סוג> ושמו <שם>]* [וישב <סוג>]	תחלופה מקראית של המילה "פעולה"; מתקשר לפעולה "ויעש"
function call	ויעש	ויעש <מעשה> [כי־<שם> <ערך> [ו־<שם> <ערך>]* כי־טוב]	וַיַּעַשׂ אֱלֹהִים אֶת הָרָקִיעַ, וַיַּבְדֵּל בֵּין הַמַּיִם (בראשית פרק א' פס' ז'). ה' קרא לפעולת יצירת הרקיע

OOP

Java	Codesh	Example	Explanation
constructor	בריאה	ויהי מעשה בריאה [<מאפיינים> היה] [ויקח <סוג> ושמו <שם>]
extends	בן־	ויהי עצם ושמו <שם> בן־<עצם> [<מאפיינים> היה]	וַיְהִי֩ אִ֨ישׁ אֶחָ֜ד מִן־הָרָמָתַ֛יִם צוֹפִ֖ים מֵהַ֣ר אֶפְרָ֑יִם וּשְׁמ֡וֹ אֶ֠לְקָנָה בֶּן־יְרֹחָ֧ם בֶּן־אֱלִיה֛וּא בֶּן־תֹּ֥חוּ בֶן־צ֖וּף אֶפְרָתִֽי (שמואל א' פרק א' פס' א) אבותיו של אלקנה מתוארים באמצעות האופרטור בן־.
implements	בצלם	ויהי עצם ושמו <שם> בצלם <צלם> [ו־<צלם>]* [<מאפיינים> היה]	"וַיִּבְרָא אֱלֹהִים אֶת הָאָדָם בְּצַלְמוֹ, בְּצֶלֶם אֱלֹהִים בָּרָא אֹתוֹ" (בראשית פרק א' פס' כ"ז). כדי לייצר את עצם האדם, ה' השתמש באופרטור "בצלם"
new	ויברא	ויברא <סוג> [כי־<שם> <ערך> [ו־<שם> <ערך>]* כי־טוב]	וַיִּבְרָ֨א אֱלֹהִ֤ים ׀ אֶת־הָֽאָדָם֙ בְּצַלְמ֔וֹ בְּצֶ֥לֶם אֱלֹהִ֖ים בָּרָ֣א אֹת֑וֹ זָכָ֥ר וּנְקֵבָ֖ה בָּרָ֥א אֹתָֽם׃ (בראשית פרק א' פס' כ"ז)
instanceof	מזרע		כׇּל־אִ֞ישׁ אֲשֶׁר־בּ֣וֹ מ֗וּם מִזֶּ֨רַע֙ אַהֲרֹ֣ן הַכֹּהֵ֔ן לֹ֣א יִגַּ֔שׁ לְהַקְרִ֖יב אֶת־אִשֵּׁ֣י יְהוָ֑ה מ֣וּם בּ֔וֹ אֵ֚ת לֶ֣חֶם אֱלֹהָ֔יו לֹ֥א יִגַּ֖שׁ לְהַקְרִֽיב׃ (ויקרא פרק כ"א, פס' כ"א)
abstract	רוחני
this	אנכי
super	אבי
as (like Kotlin)	בתור־

Operators

Mathematic

Java	Codesh	Example	Explanation
+	ויוסף ל־	ויוסף ל־<ערך> את <ערך
-	ויוחסר מן	ויוחסר מן <ערך> את <ערך
*	ויוכפל	ויוכפל <ערך> פי <ערך
/	ויחולק	ויחולק <ערך> פי <ערך
%	ויושרה	ויושרה <ערך> פי <ערך
- (unary)	ויחזק את־לב	ויחזק את־לב <ערך	וַיְחַזֵּ֤ק יְהֹוָה֙ אֶת־לֵ֣ב פַּרְעֹ֔ה וְלֹ֥א שָׁמַ֖ע אֲלֵהֶ֑ם כַּאֲשֶׁ֛ר דִּבֶּ֥ר יְהֹוָ֖ה אֶל־מֹשֶֽׁה׃ (שמות פרק ט' פס' י"ב) פרעה סרב לשחרר את העם היהודי מעבדות כיוון ו־ה' ביצע פעולת מינוס על ליבו

Assignment

Java	Codesh	Example
=	ויחלף	ויחלף <משתנה> ב־<ערך
+=	`ויסף	ויסף ל־<משתנה> את <ערך
-=	ויחסר	ויחסר מן <משתנה> את <ערך
*=	ויכפל	ויכפל <משתנה> פי <ערך
/=	ויחלק	ויחלק <משתנה> פי <ערך
%=	וישרה	וישרה <משתנה> פי <ערך
++	ויתקדם	ויתקדם <משתנה
--	ויפחת	ויפחת <משתנה

Bitwise

Java	Codesh	Example
>>	ויוסט ימינה	ויוסט ימינה <ערך> ב־<ערך
<<	ויוסט שמאלה	ויוסט שמאלה <ערך> ב־<ערך
|	או־סיבי	ערך> או־סיבי <ערך
&	גם־סיבי	ערך> גם־סיבי <ערך
^	או־בלעדי־‏סיבי	ערך> או־בלעדי־סיבי <ערך
~	לא־סיבי	לא־סיבי <ערך

Variables & Arrays

Java	Codesh	Example	Explanation
var	משתנה
int	שלם
float	צף
double	מצף
long	רב
short	קצר
byte	קצרצר
char	אות
boolean	דבר־מה
null	תהו
[]	כמסדר
[i]	במקום	<מערך> במקום <ערך>	שַׁל־נְעָלֶ֙יךָ֙ מֵעַ֣ל רַגְלֶ֔יךָ כִּ֣י הַמָּק֗וֹם אֲשֶׁ֤ר אַתָּה֙ עוֹמֵ֣ד עָלָ֔יו אַדְמַת־קֹ֖דֶשׁ הֽוּא (שמות פרק ג' פס' ה')
length	אורכו של

Conditions & Logic

Java	Codesh	Example	Explanation
if	אם־
else	אחרת
else if	אם־אחרת		אִם־אַחֶ֖רֶת יִֽקַּֽח־ל֑וֹ שְׁאֵרָ֛הּ כְּסוּתָ֥הּ וְעֹנָתָ֖הּ לֹ֥א יִגְרָֽע׃ (שמות פרק כ"א פס' י')
switch	ויחלוק על
case	כאשר
default	באין צדיק
true	אמן		אמן משמעותה "כן", "אמת" ו־"נכון", וכמו כן גם "הלוואי"
false	כזב
!	שקרי־הוא	ערך שקרי־הוא
==	שווה	שווה ערך לנד ערך
!=	אינו־שווה	אינו־שווה ערך לנד ערך
>	גדול	גדול ערך לנד ערך
>=	גדול־ושווה	גדול־ושווה ערך לנד ערך
<	קטן	קטן ערך לנד ערך
<=	קטן־ושווה	קטן־ושווה ערך לנד ערך
&&	וגם
||	או

Loops

Java	Codesh	Example	Explanation
for	וימנה	וימנה שלם ושמו <שם> מן <ערך> עד <ערך> [וידלג <ערך>]
do	עשה
while	בעוד
continue	פסח		וְעָבַ֣ר יְהוָה֮ לִנְגֹּ֣ף אֶת־מִצְרַיִם֒ וְרָאָ֤ה אֶת־הַדָּם֙ עַל־הַמַּשְׁק֔וֹף וְעַ֖ל שְׁתֵּ֣י הַמְּזוּזֹ֑ת וּפָסַ֤ח יְהוָה֙ עַל־הַפֶּ֔תַח וְלֹ֤א יִתֵּן֙ הַמַּשְׁחִ֔ית לָבֹ֥א אֶל־בָּתֵּיכֶ֖ם לִנְגֹּֽף׃ (שמות פרק י"ב, פס' כ"ג) ה' פסח (דילג) על כל אדם בעל דם כבש על משקוף דלתו בזמן מתן מכת הבכורות
break	לך־לך		וַיֹּ֤אמֶר יְהוָה֙ אֶל־אַבְרָ֔ם לֶךְ־לְךָ֛ מֵאַרְצְךָ֥ וּמִמּֽוֹלַדְתְּךָ֖ וּמִבֵּ֣ית אָבִ֑יךָ אֶל־הָאָ֖רֶץ אֲשֶׁ֥ר אַרְאֶֽךָּ׃ (בראשית פרק י"ב, פס' א')

Exceptions

Java	Codesh	Example	Explanation
try	וינסה
catch	ויתפוס		וַיִּתֵּ֥ן אֹתָ֛הּ לְמׇרְטָ֖ה לִתְפֹּ֣שׂ בַּכָּ֑ף הִֽיא־הוּחַ֤דָּה חֶ֨רֶב֙ וְהִ֣יא מֹרָ֔טָּה לָתֵ֥ת אוֹתָ֖הּ בְּיַד־הוֹרֵֽג׃ (יחזקאל פרק כ"א, פס' ט"ז) יחזקאל מתואר תופס (תופש) חרב.
finally	לאחר ארבעים שנה במדבר
throw	גזר
throws	פן־יחטא

Comments

Java	Codesh	Example	Explanation
//	כה הגה ה' לאמר		"להגות" משמע לחשוב
/* */	כה הגה ה' לאמר: ... ויחדל:
/** */	ויאמר ה' לאמר: ... ויחדל:		בתיעוד, ה' מפציר את מחשבותיו

Feminine Variants

Java	Codesh	Example	Explanation
(name)	ושמה
(shall be)	תהיה
public	נגלית
private	נחבאת
protected	קדשה
final	תמות ולא־תתחלף
extends	בת־

Not Implemented Yet

Java	Codesh	Example	Explanation
interface	צלם	ויהי צלם ושמו <שם> [<מאפיינים> היה]	ה' ברא את האדם בצלמו: "וַיִּבְרָא אֱלֹהִים אֶת הָאָדָם בְּצַלְמוֹ, בְּצֶלֶם אֱלֹהִים בָּרָא אֹתוֹ" (בראשית פרק א' פס' כ"ז) .מכאן ניתן להבים כי האדם יורש מאותו האינטרפייס של ה'.
enum	מניין
@interface	חותם
@	והיה
@Override	ויגזול		פעולת גזילה במקרא משמעותה לקיחת בעלות בכפיה או חוסר רצון האדם בשאלה. פעולת הדריסה לוקחת בעלות מלאה על המעשה מאביו באי־אפשרות ערעור, ועל־כן גוזלת את זכויותיו.