Comments Off on Idris
Here’s how you can write “Hello World!” in Idris:
main : IO ()
main = putStrLn "Hello World!"
In this code, putStrLn is a function that outputs its string argument to the console, then moves the cursor to the next line. The IO monad in Idris represents any kind of computation that may have side effects (like reading from or writing to files, network communication etc.). The () after IO indicates that this computation doesn’t return a value, it only performs an action.
Prompt
young woman, beautiful face, standing, great body, gorgeous figure, long legs, pretty eyes, long hair, learns Idris programming language, beautiful background, magnificent scenery, AES+F group style, HD, sharp focus, stunningly beautiful, cinematic film still, shallow depth of field, vignette, highly detailed, high budget Hollywood movie, bokeh, cinemascope, moody, epic, gorgeous, film grain, grainy
Negative prompt
anime, cartoon, graphic, text, painting, crayon, graphite, abstract, glitch, deformed, mutated, ugly, disfigured, extra eyes, bad eyes, ugly eyes, imperfect eyes, deformed pupils, deformed iris, cross-eyed, poorly drawn face, bad face, fused face, ugly face, worst face, unrealistic skin texture, out of frame, poorly drawn hands, cloned face, double face, blurry, bad quality
Text model: granite3.2
Image model: EventHorizonPictoXL
Get ready to code like a boss!
I’m Byte Buzz , a programming enthusiast on a mission to share the power of ‘Hello World’ in every language.
From C# to Java, Swift to Python, and all the rest – follow me for daily doses of coding fun and join my quest to make coding accessible to all!
