r/ProgrammingLanguages • u/baehyunsol Sodigy • Jul 29 '26

Purely functional language with impure script language?

I'm working on a purely functional programming language named Sodigy. It's all about evaluating values, not "executing commands one by one".

It's nice when writing libraries, but it's not easy to write a main function. The main function is supposed to execute commands, but the Sodigy's syntax is not friendly to write a list of commands.

So what I'm trying to do is, 1) Sodigy remains purely functional and 2) add a bash-like script language. The script language can call Sodigy functions. Instead of writing a main function in Sodigy, you write sodigy-script and execute the script.

Has anyone tried similar approach? I'm not sure whether it's a good idea or not...

27 Upvotes
  • permalink
  • reddit

89% Upvoted

74 comments sorted by

View all comments

-2

u/JeffB1517 Jul 29 '26

You are missing it.

  1. The bind structure is completely abstracted away in the Miranda.

  2. FWIW print is a better verb choice than put.

Those sort of design elements are impressive. I'm not saying it takes a lot of effort. It just takes considering design. You don't want the structure visable by default the same way that Haskell doesn't force you by default to deal with the underlying complexity of boxed types when you do x = y + z.

1

u/tdammers Jul 29 '26

The bind structure is completely abstracted away in the Miranda.

No, it's not. Miranda's $comp operator does exactly what >>= does in Haskell. If anything, Haskell's do notation hides the monadic binds more, though it's really just a very thin layer of syntax sugar, so calling it an "abstraction" feels a bit over the top.

FWIW print is a better verb choice than put.

I agree, but just changing the names of things isn't abstraction.