Реляционное программирование

Екатерина Вербицкая — аспирантка матмеха СПбГУ по информатике и исследователь в лаборатории языковых инструментов JetBrains.

На лекции пойдет речь о реляционном программировании: парадигме, в которой программы описывают математические отношения, а, значит, исполняются в разных направлениях. Так можно найти результат по заданным аргументам, и, наоборот, — по аргументам получить заданный результат. Екатерина расскажет о том, как это работает, где применяется, а также об открытых проблемах в области.

Слушателям желательно иметь представление о функциональных языках программирования.

( ! ) Warning: Invalid argument supplied for foreach() in /home/domains/malitikov.ru/public_html/wp-content/themes/malitikov/single.php on line 44
Call Stack
#	Time	Memory	Function	Location
1	0.0000	350072	{main}( )	.../index.php:0
2	0.0000	350352	require( '/home/domains/malitikov.ru/public_html/wp-blog-header.php )	.../index.php:17
3	0.1027	8463064	require_once( '/home/domains/malitikov.ru/public_html/wp-includes/template-loader.php )	.../wp-blog-header.php:19
4	0.1044	8487752	include( '/home/domains/malitikov.ru/public_html/wp-content/themes/malitikov/single.php )	.../template-loader.php:106

Мы рекомендуем

( ! ) Fatal error: Allowed memory size of 536870912 bytes exhausted (tried to allocate 33554440 bytes) in /home/domains/malitikov.ru/public_html/wp-includes/class-wpdb.php on line 3114
Call Stack
#	Time	Memory	Function	Location
1	0.0000	350072	{main}( )	.../index.php:0
2	0.0000	350352	require( '/home/domains/malitikov.ru/public_html/wp-blog-header.php )	.../index.php:17
3	0.1027	8463064	require_once( '/home/domains/malitikov.ru/public_html/wp-includes/template-loader.php )	.../wp-blog-header.php:19
4	0.1044	8487752	include( '/home/domains/malitikov.ru/public_html/wp-content/themes/malitikov/single.php )	.../template-loader.php:106
5	0.2584	22302896	WP_Query->__construct( $query = ['post_type' => 'post', 'post_status' => 'publish', 'fields' => 'ids', 'posts_per_page' => -1, 'no_found_rows' => TRUE, 'orderby' => 'none'] )	.../single.php:65
6	0.2584	22302896	WP_Query->query( $query = ['post_type' => 'post', 'post_status' => 'publish', 'fields' => 'ids', 'posts_per_page' => -1, 'no_found_rows' => TRUE, 'orderby' => 'none'] )	.../class-wp-query.php:4081
7	0.2584	22302896	WP_Query->get_posts( )	.../class-wp-query.php:3949
8	0.2588	22314760	wpdb->get_col( $query = 'SELECT wp_posts.ID\n\t\t\t\t\t FROM wp_posts \n\t\t\t\t\t WHERE 1=1 AND wp_posts.post_type = \'post\' AND ((wp_posts.post_status = \'publish\'))\n\t\t\t\t\t \n\t\t\t\t\t \n\t\t\t\t\t ', $x = ??? )	.../class-wp-query.php:3300