User contributions
Jump to navigation
Jump to search
- 20:02, 21 March 2022 diff hist +42 m Opting for oracles Note regarding Hackett-Hutton paper clarified
- 12:55, 21 March 2022 diff hist -101 m Opting for oracles Note regarding Hackett-Hutton paper rewritten
- 12:55, 21 March 2022 diff hist -135 m Open research problems/The I/O quandary Redundant references removed
- 12:35, 19 March 2022 diff hist +548 m Open research problems/The I/O quandary Extra reference added
- 04:02, 17 March 2022 diff hist +148 m Open research problems/The I/O quandary Extra reference added; various other changes
- 10:19, 16 March 2022 diff hist -2 m Open research problems/The I/O quandary
- 07:57, 16 March 2022 diff hist -87 m Open research problems/The I/O quandary
- 07:05, 16 March 2022 diff hist +22 m Open research problems/The I/O quandary >_< ...too much SO
- 22:12, 15 March 2022 diff hist -1,919 Talk:Open research problems/The I/O quandary Remaining content relocated to "The I/O quandary" current
- 22:11, 15 March 2022 diff hist +2,006 Open research problems/The I/O quandary Extra section added, based on remaining content from "Talk:The I/O quandary"
- 12:37, 15 March 2022 diff hist 0 m Open research problems/The I/O quandary
- 12:31, 15 March 2022 diff hist +1,044 Open research problems/The I/O quandary Extra subsection added, using selected content from "Talk:The I/O quandary"
- 12:31, 15 March 2022 diff hist -3,587 Talk:Open research problems/The I/O quandary Selected content relocated to "The I/O quandary"
- 12:04, 14 March 2022 diff hist -231 Talk:Open research problems/The I/O quandary Selected content relocated to "The I/O quandary"
- 12:03, 14 March 2022 diff hist +2,763 Open research problems/The I/O quandary Extra section added, based on selected content from "Talk:The I/O quandary"; other minor changes
- 22:31, 12 March 2022 diff hist 0 m Talk:Open research problems/The I/O quandary
- 22:17, 12 March 2022 diff hist -1,834 Talk:Open research problems/The I/O quandary Selected content transferred to "Open research problems"
- 22:17, 12 March 2022 diff hist +2,988 Open research problems/The I/O quandary Selected content transferred from "Talk:Open research problems"; various formatting changes; extra reference added
- 23:50, 10 March 2022 diff hist +330 m Unsafe functions Added initial quote
- 23:38, 10 March 2022 diff hist +79 m Tutorials Another external "I/O" reference
- 09:06, 4 March 2022 diff hist +236 m Monad tutorials timeline Another two...
- 08:52, 4 March 2022 diff hist +338 m Output/Input Extra example added
- 04:59, 4 March 2022 diff hist +1 m Open research problems
- 04:55, 4 March 2022 diff hist +491 m Opting for oracles Pertinent quote added
- 07:30, 3 March 2022 diff hist +7,810 N Talk:Open research problems/The I/O quandary Content relocated from "Talk:Open research problems"
- 07:30, 3 March 2022 diff hist -7,571 Talk:Open research problems I/O-related content relocated to "Talk:The I/O quandary" current
- 07:16, 3 March 2022 diff hist +25 m Open research problems/The I/O quandary Redundant reference removed
- 07:08, 3 March 2022 diff hist -1,862 Output/Input Questions relocated to "The I/O quandary"
- 07:06, 3 March 2022 diff hist +1,846 Open research problems/The I/O quandary Questions relocated from "Output/Input"
- 07:02, 3 March 2022 diff hist -10,690 Open research problems Content relocated from "I/O" section to "The_I/O_quandary"
- 06:58, 3 March 2022 diff hist +10,748 N Open research problems/The I/O quandary Content relocated from "I/O" section of "Open research problems"
- 14:34, 2 March 2022 diff hist +372 m Output/Input Extra example added
- 21:16, 28 February 2022 diff hist -4 m Talk:Open research problems Minor changes to FFI-based example
- 09:48, 22 February 2022 diff hist -26 m Opting for oracles Minor changes
- 09:33, 22 February 2022 diff hist -85 m Concurrency with oracles Minor changes
- 09:25, 22 February 2022 diff hist +6 m Avoiding IO Minor changes
- 09:18, 22 February 2022 diff hist -88 m Burton-style nondeterminism Minor changes current
- 07:59, 22 February 2022 diff hist +137 m Referential transparency Reference to Quine's book added
- 07:14, 22 February 2022 diff hist +357 m Referential transparency Article switched over to Strachey's original definition
- 23:48, 17 February 2022 diff hist +143 m Monad tutorials timeline ...
- 08:10, 8 February 2022 diff hist -845 m Opting for oracles Content updated using Augustsson-Rittri-Synek paper
- 07:47, 8 February 2022 diff hist +77 m Plainly partible Content updated using Augustsson-Rittri-Synek paper
- 10:56, 29 January 2022 diff hist +429 m IO then abstraction Another pertinent quote
- 22:43, 28 January 2022 diff hist +66 m Talk:Open research problems
- 22:33, 28 January 2022 diff hist +1,768 m Talk:Open research problems The connection between mathematics, functional languages and the I/O conundrum
- 20:10, 28 January 2022 diff hist +315 m Open research problems Another quote...
- 19:53, 28 January 2022 diff hist +91 m Research papers/Runtime systems Link updated
- 19:33, 28 January 2022 diff hist +143 m User:Atravers Link updated
- 03:25, 28 January 2022 diff hist -1,025 Research papers/Functional pearls Overhaul of presentation - no new content
- 00:06, 28 January 2022 diff hist +112 m Monad tutorials timeline Another one ...
- 01:29, 27 January 2022 diff hist 0 m Monad tutorials timeline
- 17:59, 24 January 2022 diff hist 0 m Plainly partible
- 16:14, 24 January 2022 diff hist +1,470 Research papers/Functional pearls "Offline" section cleared; per-year ordering of "Online" section restored
- 12:36, 14 January 2022 diff hist -25 m Output/Input Unlinked "IO, partible-style"
- 12:35, 14 January 2022 diff hist +80 m IO, partible-style Linked "Output/Input"
- 08:05, 10 January 2022 diff hist +766 m Open research problems Quotes from Reinke's thesis expanded
- 07:48, 10 January 2022 diff hist +1,226 m Open research problems Extra quotes from Claus Reinke's thesis
- 01:08, 10 January 2022 diff hist +294 m Tutorials "Alternate" I/O introduction added
- 05:08, 8 January 2022 diff hist -3 m Output/Input
- 04:58, 8 January 2022 diff hist +9 m IO inside
- 22:55, 7 January 2022 diff hist +397 m Open research problems Another quote...
- 06:35, 5 January 2022 diff hist -29 m Haskell IO for Imperative Programmers
- 05:37, 1 January 2022 diff hist +491 m Top level mutable state Relevant list of SO questions added current
- 05:09, 1 January 2022 diff hist +33 m Top level mutable state Problem solved: read "Purely Functional Global Variables" by Härmel Nestra
- 23:53, 30 December 2021 diff hist +246 m Monad tutorials timeline
- 21:37, 30 December 2021 diff hist -13 m Output/Input
- 21:30, 30 December 2021 diff hist +103 m Output/Input Extra article added
- 02:21, 30 December 2021 diff hist 0 m IO inside Undo revision 64900 by Atravers (talk)
- 00:25, 30 December 2021 diff hist +27 m IO inside More minor changes
- 00:02, 30 December 2021 diff hist +1,523 IO inside Simple-IO section expanded with time subsection
- 13:08, 27 December 2021 diff hist +5 m Open research problems Various formatting changes
- 13:04, 27 December 2021 diff hist +539 m Open research problems
- 01:08, 24 December 2021 diff hist +331 m IO then abstraction Extra quote added
- 11:33, 22 December 2021 diff hist -5 m IO Semantics
- 11:31, 22 December 2021 diff hist +209 m IO Semantics Various changes
- 09:43, 22 December 2021 diff hist +14 m IO Semantics
- 08:36, 22 December 2021 diff hist +298 m Output/Input Extra example added
- 08:25, 22 December 2021 diff hist +1,604 m IO Semantics Extra reading section added
- 07:14, 22 December 2021 diff hist +214 Sandbox Example of unexpected behaviour by using "Excercises" template current
- 07:29, 21 December 2021 diff hist +19 m Output/Input
- 21:32, 18 December 2021 diff hist +17 m Denotative programming timeline
- 21:32, 18 December 2021 diff hist +24 m Denotative
- 21:30, 18 December 2021 diff hist +2,302 N Denotative Initial content
- 21:36, 17 December 2021 diff hist +1,217 m Talk:Open research problems Suggestion extended with Agda-centric quote
- 22:27, 16 December 2021 diff hist 0 m IO inside
- 22:25, 16 December 2021 diff hist +17 m IO inside
- 22:20, 16 December 2021 diff hist +7 m IO inside
- 10:57, 16 December 2021 diff hist +2,906 IO inside Simple-I/O section expanded and rewritten
- 01:00, 16 December 2021 diff hist 0 m IO inside
- 11:52, 15 December 2021 diff hist +376 m QuotesPage Hutton's memorable monad quote added
- 13:05, 14 December 2021 diff hist +337 m Output/Input
- 12:52, 14 December 2021 diff hist +22 m Functional Reactive Programming
- 20:11, 12 December 2021 diff hist +304 m Monad tutorials timeline
- 12:14, 12 December 2021 diff hist +16 m IO inside Minor changes
- 05:27, 12 December 2021 diff hist +247 m Functional Reactive Programming
- 00:36, 12 December 2021 diff hist +103 m Monad tutorials timeline
- 00:17, 12 December 2021 diff hist +356 m Monad tutorials timeline Another one for the collection...
- 02:48, 11 December 2021 diff hist +181 m Functional Reactive Programming Extra blog-article reference
- 02:37, 11 December 2021 diff hist +54 m Denotative programming timeline Extra section added
- 01:55, 9 December 2021 diff hist +948 Talk:Open research problems Acoiding the I/O problem using the FFI