Of Harmony and Stinginess: Applicative, Monad, and iterative library designjspha
Designing a library is a conversation between the library author and the users where perhaps the hardest and most important question is "is this the right thing to offer?".
It's my belief that types are a powerful language to carry out this conversation and thus the nature of types illustrate a path to having this conversation go smoothly.
This talk investigates this idea via a simple real world example: getting configuration data from the environment. It also tells a parallel story of how the structure of types illustrates tradeoffs in this design space. This power arises from the historical roots of type systems in logic by stealing a powerful concept from Wittgenstein, Gentzen, and Dummett: Logical Harmony.
Of Harmony and Stinginess: Applicative, Monad, and iterative library designjspha
Designing a library is a conversation between the library author and the users where perhaps the hardest and most important question is "is this the right thing to offer?".
It's my belief that types are a powerful language to carry out this conversation and thus the nature of types illustrate a path to having this conversation go smoothly.
This talk investigates this idea via a simple real world example: getting configuration data from the environment. It also tells a parallel story of how the structure of types illustrates tradeoffs in this design space. This power arises from the historical roots of type systems in logic by stealing a powerful concept from Wittgenstein, Gentzen, and Dummett: Logical Harmony.
Explore the multifaceted world of Muntadher Saleh, an Iraqi polymath renowned for his expertise in visual art, writing, design, and pharmacy. This SlideShare delves into his innovative contributions across various disciplines, showcasing his unique ability to blend traditional themes with modern aesthetics. Learn about his impactful artworks, thought-provoking literary pieces, and his vision as a Neo-Pop artist dedicated to raising awareness about Iraq's cultural heritage. Discover why Muntadher Saleh is celebrated as "The Last Polymath" and how his multidisciplinary talents continue to inspire and influence.
2137ad Merindol Colony Interiors where refugee try to build a seemengly norm...luforfor
This are the interiors of the Merindol Colony in 2137ad after the Climate Change Collapse and the Apocalipse Wars. Merindol is a small Colony in the Italian Alps where there are around 4000 humans. The Colony values mainly around meritocracy and selection by effort.
2137ad - Characters that live in Merindol and are at the center of main storiesluforfor
Kurgan is a russian expatriate that is secretly in love with Sonia Contado. Henry is a british soldier that took refuge in Merindol Colony in 2137ad. He is the lover of Sonia Contado.
Hadj Ounis's most notable work is his sculpture titled "Metamorphosis." This piece showcases Ounis's mastery of form and texture, as he seamlessly combines metal and wood to create a dynamic and visually striking composition. The juxtaposition of the two materials creates a sense of tension and harmony, inviting viewers to contemplate the relationship between nature and industry.
1. True-ray!Pt.4
Title Date written Copyrightdated WrittenBy
1.Wes Up! Pt. 4 Murad Camarad Wysinger,
2.Sun-Clord-King!Pt.2 DubsacEntertainment,
3.So If You Didn’tCelieveInMe!Pt.2 Kujo,Kristianj,Khalifah,
4.SeriousCoint!Pt.2 Muzadalifa,Zalifa,Kalifa,
5.True-ray!Pt.4 A-Bomb,GeminiX,
6.So Dis IsWhy! Pt.2 ZodiacKilla,Aalifa,
Amen-Ra,MRAMOURA,
2. WesUp! Pt.3
Vers.1
1.It's A’sup!
2.Was up!
3.Wes up!
4.Straightgiv-initup!
5.So I had to do4 onlyus!
6.So I had to give itup!
7.So dat’swas up!
8.To all of my real ass nigga’ssowesup!
2x:Chorus
1.So I had to give itup!
2.So dat's wasup!
3.To all of my real ass nigga'sso wes up!
4.To all of my real ass nigga'sso wes up!
Vers.2
1.So I do 4 onlyus!
2.So I did4 onlyus!
3.So I had to doso much!
4.So I had to give itup!
3. 5.So I finallycame...up!
6.So I finally C-edup!
7.So dat’ wasup!
8.To all of my real ass nigga'sso wesup!
2x:Chorus
1.So I had to give itup!
2.So dat's wasup!
3.To all of my real ass nigga'sso wes up!
4.To all of my real ass nigga'sso wes up!
Sun-Clord-King!Pt.2
1.I'm a sharp sword!
2.Dat's of a chord!
3.So I geta veryspecial award!
4.So I’mnever,everbored!
5.To tryinafford!
6.So I'm a real ass Sun Clord!
2x:Chorus
1.To tryinLive by tha sword!
2.Anitno needtodie bytha chord!
3.So I'm a real ass Sun Clord!
4.So I'm a real ass Sun Clord!
4. Vers.2
1.So I ride inchevyexplores!
2.So I got bitchesglore!
3.Much cucc-inmore!
4.Andevenfucc-inmore!
5.To tryinafford!
6.So I'm a real ass Sun Clord!
2x:Chorus
1.To tryinLive by tha sword!
2.Anitno needtodie bytha chord!
3.So I'm a real ass Sun Clord!
4.So I'm a real ass Sun Clord!
So If You Didn’tCelieveInMe!Pt.1
Vers.1
1.So dat's on me!
2.Homie!
3.Bay-bee!
4.Like a straight“C”
5.So ya! see!
6.So ya! see!
2x:Chorus
5. 1.So Amen-Raisthakey!
2.All tha wayto eternity!
3.So if you didn’tcelieve inme!
4.So if you didn’tcelieve inme!
Vers.2
1.It's all-day!
2.Everyday!
3.Wit tha tray!
4.All tha way!
6.As I steady blaze!
6.Anitno needfoe daze!
2x:Chorus
1.So Amen-Raisthakey!
2.All tha wayto eternity!
3.So if you didn’tcelieve inme!
4.So if you didn’tcelieve inme!
SeriousCoint!Pt.2
Vers.1
9.To tha point!
10.To tha point!
11.To tha point!
12.To tha point!
13.To tha point!
6. 14.To tha point!
15.To tha point!
16.She's a serious coint!
17.She's a seriouscoint!
18.Now dat's tha point!
19.Now dat's tha point!
20.Now dat's tha point!
21.Now dat's tha point!
22.Now dat's tha point!
2x:Chorus
1.It anithow youwin...
2.It anithow youlost...
3.So I'm a real ass Aztex-Indian-Sun-Clord-Boss!
4.So I'm a real ass Aztex-Indian-Sun-Clord-Boss!
5.Sun-Cod-Boss!
6.Sun-Cod-Boss!
7.Anitno needtolost...
8.Anitno needtolost...
7. Vers.2
1.So I'm a Aerious!
2.Cerious!
3.Serious!
4.Un-delerious!
5.Joint!
6.Alwaysonpoint!
7.Of a exclamationpoint!
8.So dat's of a ball point!
9.To lightup a coint!
10.Anitno needfoe pressure toprove apoint!
2x:Chorus
1.It anithow youwin...
2.It anithow youlost...
3.So I'm a real ass Aztex-Indian-Sun-Clord-Boss!
4.So I'm a real ass Aztex-Indian-Sun-Clord-Boss!
5.Sun-Clord-Boss!
6.Sun-Clord-Boss!
7.Anitno needtolost...
8.Anitno needtolost...
True-ray!Pt.3
Vers.1