Revision as of 21:43, 4 June 2025 edit Frap (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 35,597 edits →Problem Solution using Object Algebra: MOS:HEAD ← Previous edit		Revision as of 00:48, 6 June 2025 edit undo Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 473,516 edits Altered journal. Add: url, chapter, title. Removed URL that duplicated identifier. \| Use this tool. Report bugs. \| #UCB_Gadget \| Alter: title, journal, pages. \| Use this tool. Report bugs. \| #UCB_Gadget Next edit →
Line 98: There are various solutions to the expression problem. Each solution varies in the amount of code a user must write to implement them, and the language features they require. * [[Multiple dispatch]]<ref name="Chambers & Leavens, Multi-Methods">{{cite journal\|last1=Chambers\|first1=Craig\|last2=Leavens\|first2=Gary T.\|title=Type Checking and Modules for Multi-Methods\|journal= ACM ~~Trans.~~Transactions on Programming ~~Program.~~Languages ~~Lang.~~and ~~Syst.~~Systems\|date=November 1995\|volume=17 \|issue=6\|pages=805–843\|doi=10.1145/218570.218571 \|url=http://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1036&context=cs_techreports\|doi-access=free}}</ref> * {{section link\|Ruby syntax\|Open classes}}<ref name="Clifton et. al., MultiJava Open Classes">{{cite book\|last1=Clifton\|first1=Curtis\|last2=Leavens\|first2=Gary T.\|last3=Chambers\|first3=Craig\|last4=Millstein\|first4=Todd~~\|chapter=MultiJava: Modular open classes and symmetric multiple dispatch for Java~~ \|title=Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications \|~~journal~~chapter=~~Oopsla~~MultiJava: Modular open classes and symmetric multiple dispatch for Java ~~'00~~\|date=2000\|pages=130–145 \|doi=10.1145/353171.353181 \|isbn=978-1-58113-200-7 \|s2cid=7879645 \|~~chapter-~~url=http://people.csail.mit.edu/dnj/teaching/6898/papers/multijava.pdf}}</ref> * [[Coproduct]]s of [[functor]]s<ref>{{cite journal \|author = Wouter Swierstra Line 115: \|doi-access = free }}</ref> * [[Type class]]es<ref name="Wehr & Thiemann, JavaGI Type Classes">{{cite journal\|last1=Wehr\|first1=Stefan\|last2=Thiemann\|first2=Peter\|title= JavaGI: The Interaction of Type Classes with Interfaces and Inheritance\|journal= ACM ~~Trans.~~Transactions ~~Program.~~on ~~Lang.~~Programming ~~Syst.~~Languages and Systems\|date=July 2011\|volume=33 \|issue=4\|pages=~~12:1–12:83~~ 1–83\|doi=10.1145/1985342.1985343 \|s2cid=13174506 \|url=http://www.stefanwehr.de/publications/WehrThiemann2011TOPLAS.html\|doi-access=free}}</ref> * Tagless-final<ref name="Carette et al., Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages">{{cite journal\|last1=Carette\|first1=Jacques\|last2=Kiselyov\|first2=Oleg\|last3=Chung-chieh\|first3=Shan\|title=Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages\|journal=J. Funct. Program.\|date=2009\|volume=19 \|issue=5 \|pages=509–543 \|doi=10.1017/S0956796809007205 \|s2cid=6054319 \|url=http://okmij.org/ftp/tagless-final/JFP.pdf}}</ref> / Object algebras<ref name="Oliveira & Cook, Object Algebras">{{cite journal\|last1=Oliveira\|first1=Bruno C. d. S.\|last2=Cook\|first2=William R.\|title=Extensibility for the Masses: Practical Extensibility with Object Algebras\|journal=Ecoop '12\|date=2012\|url=http://www.cs.utexas.edu/~wcook/Drafts/2012/ecoop2012.pdf}}</ref>

Expression problem: Difference between revisions